P
Initializing...
A pairwise-product bound from a quotient · Prove2Me