x^4-4 x^3-6 x^2+36 x-28>=1