A quadratic has no real roots