P
Initializing...
A weighted four-variable pair-sum ratio is at least twelve · Prove2Me