P
Initializing...
A product of shifted squares bounds a squared pairwise sum · Prove2Me