P
Initializing...
A sum of shifted squared ratios bounds a symmetric ratio · Prove2Me