P
Initializing...
A pair-product ratio sum bounds a normalized squared total · Prove2Me