x^2 - 4 x + 7 > 0