P
Initializing...
A squared-norm and cubic-product bound at sum nine · Prove2Me