P
Initializing...
Domination of quadratic plus linear terms by a quadratic bound · Prove2Me