P
Initializing...
A cubic sum bound under a quartic constraint · Prove2Me