P
Initializing...
A shifted pairwise quadratic ratio sum is at most six · Prove2Me