P
Initializing...
A pair-product ratio sum is at least four · Prove2Me