P
Initializing...
A quadratic pair-sum ratio bounds a squared square-root sum · Prove2Me