P
Initializing...
A quartic bound for the squared pairwise sum · Prove2Me