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