P
Initializing...
A mixed pair-product ratio sum is at most three fifths · Prove2Me