P
Initializing...
A product of weighted cyclic ratio sums is at most 343 over eight · Prove2Me