P
Initializing...
A fourth-power difference bound at fixed squared norm · Prove2Me