P
Initializing...
A weighted four-variable cyclic ratio sum is at most one · Prove2Me