P
Initializing...
A quartic pairwise bound with a cubic correction · Prove2Me