P
Initializing...
A cyclic quadratic difference ratio sum is at most three · Prove2Me