/ 3 \ / 3 \ log(x)*x*\x - 8/ <= log(x)*\x + 2*x - 13/
(x*log(x))*(x^3 - 8) <= (x^3 + 2*x - 13)*log(x)