iff . In the latter inequality, both sides are quadratic polynomials in b. I understand that this problem is formally about quantifiers, but essentially it is about comparing two quadratic functions. For this reason, if you need help with this, it would make sense to post the problem to pre-university Algebra or Pre-calculus subforums.