P
Initializing...
A quadratic relation bounds a sum minus product · Prove2Me