P
Initializing...
A pairwise-product bound at fixed sum three · Prove2Me