P
Initializing...
A weighted quadratic reciprocal sum is at most one fifth at fixed sum three · Prove2Me