P
Initializing...
A sum bound under a pairwise-product constraint · Prove2Me