P
Initializing...
A weighted four-variable linear ratio sum is at most twenty thirteenths · Prove2Me