P
Initializing...
A squared-product bound with a sum constraint · Prove2Me