P
Initializing...
A quadratic bound with a pairwise-product constraint · Prove2Me