P
Initializing...
A quartic pair-product sum bounds cyclic cubic and quadratic terms · Prove2Me