________ _____________________ / 2 / 2 3 \/ x - 1 <= \/ 5*x - 1 - 4*x - x
sqrt(x^2 - 1) <= sqrt(-x^3 - 4*x + 5*x^2 - 1)