P
Initializing...
A quadratic bound with a mixed constraint · Prove2Me