log(1) 2 ------*(x - 1) >= x - 2*x - 9 3
(log(1)/3)*(x - 1) >= x^2 - 2*x - 9
/ ____ ____ \ And\x <= 1 + \/ 10 , 1 - \/ 10 <= x/
(x <= 1 + sqrt(10))∧(1 - sqrt(10) <= x)
____ ____ [1 - \/ 10 , 1 + \/ 10 ]
x in Interval(1 - sqrt(10), 1 + sqrt(10))