P
Initializing...
A quadratic excess bounds a product of shifted variables · Prove2Me