P
Initializing...
A weighted quadratic ratio sum is at most five · Prove2Me