log(3*x - 1) / 2 \ log(3*x - 1) / 2\ ------------*\2*x + x - 1/ >= ------------*\11*x - 6 - 3*x / x + 2 x + 2
(log(3*x - 1)/(x + 2))*(2*x^2 + x - 1) >= (log(3*x - 1)/(x + 2))*(-3*x^2 + 11*x - 6)
[2/3, oo)
x in Interval(2/3, oo)
And(2/3 <= x, x < oo)
(2/3 <= x)∧(x < oo)