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