P
Initializing...
A mixed shifted reciprocal sum has a pair-product upper bound · Prove2Me