P
Initializing...
A cyclic quartic ratio sum is bounded by the quadratic sum · Prove2Me