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