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