x²+5x+7 > 0