P
Initializing...
A weighted squared ratio sum is at least three · Prove2Me