P
Initializing...
A quartic power sum bounds a cubic sum with a quadratic correction · Prove2Me