P
Initializing...
A square-sum bound above a unit average · Prove2Me