P
Initializing...
A weighted cyclic linear ratio sum is at most one quarter · Prove2Me