P
Initializing...
A reciprocal sum times a shifted square has a linear lower bound · Prove2Me