P
Initializing...
A four-variable weighted linear difference ratio sum is nonnegative · Prove2Me