P
Initializing...
A cubic-factor upper bound under a sum constraint · Prove2Me