P
Initializing...
A cyclic pair-product ratio sum is at most one · Prove2Me