P
Initializing...
A quadratic pairwise-sum bound with a cubic correction · Prove2Me