P
Initializing...
A fourth-power bound for a squared pairwise sum · Prove2Me