P
Initializing...
A four-variable quadratic bound under a weighted sum constraint · Prove2Me