P
Initializing...
A product-of-shifts bound at fixed pairwise sum · Prove2Me