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