/ 5\
|(x - 3) |
/ 2 \ log|--------|
5*log\x + x - 12/ \ x + 4 /
------------------ <= 12 + -------------
log(6) log(6)
(5*log(x^2 + x - 12))/log(6) <= log((x - 3)^5/(x + 4))/log(6) + 12