P
Initializing...
A quadratic lower bound under a weighted linear constraint · Prove2Me