P
Initializing...
A cyclic pairwise ratio sum has a normalized quadratic lower bound · Prove2Me