P
Initializing...
A parametric pairwise-product bound at unit sum · Prove2Me