P
Initializing...
A weighted squared ratio sum is at most 25 over two · Prove2Me