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