P
Initializing...
A quadratic lower bound for nonnegative variables with total at most eight · Prove2Me