P
Initializing...
A cyclic quartic upper bound by a squared pair-product expression · Prove2Me