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