P
Initializing...
A mixed quadratic-quartic lower bound at fixed sum · Prove2Me