Solving a quadratic inequality