P
Initializing...
A product of two quartic differences bounds a squared cyclic expression · Prove2Me