P
Initializing...
A cubic-over-linear lower bound at fixed sum three · Prove2Me