P
Initializing...
A shifted cyclic quadratic difference ratio is nonnegative · Prove2Me