P
Initializing...
An arithmetic-harmonic mean bound with a squared-difference correction · Prove2Me