P
Initializing...
A quadratic lower bound under a quartic constraint · Prove2Me