P
Initializing...
A fifth-power average bounds a fourth-power sum with a product correction · Prove2Me