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