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