P
Initializing...
A symmetric quartic bound involving forty times a triple product · Prove2Me