log(1) ------*x <= x - 6 5
x*(log(1)/5) <= x - 6
And(6 <= x, x < oo)
(6 <= x)∧(x < oo)
[6, oo)
x in Interval(6, oo)