P
Initializing...
A pairwise-product bound when the sum equals the squared norm · Prove2Me