P
Initializing...
A quartic product bound at fixed squared norm four · Prove2Me