P
Initializing...
A quartic power-sum lower bound at total one · Prove2Me