P
Initializing...
A shifted quadratic reciprocal sum is at most one · Prove2Me