P
Initializing...
A sum of triple quadratic averages bounds the four-variable total · Prove2Me