P
Initializing...
A cubic-quartic upper bound at squared norm twelve · Prove2Me