P
Initializing...
A quartic symmetric sum bounds a quadratic sum at total three · Prove2Me