P
Initializing...
A weighted quadratic pair-product ratio sum is at most one half · Prove2Me