/ 3\
|(x - 1) |
/ 2 \ log|--------|
3*log\x + 8*x - 9/ \ x + 9 /
------------------- <= 4 + -------------
log(11) log(11)
(3*log(x^2 + 8*x - 9))/log(11) <= log((x - 1)^3/(x + 9))/log(11) + 4