P
Initializing...
A fourth-power bound at zero sum and fixed norm · Prove2Me