/ 9\ |(x - 1) | / 2 \ log|--------| log\x + x - 2/ \ x + 2 / 9*--------------- < 10 + ------------- log(7) log(7)
9*(log(x^2 + x - 2)/log(7)) < log((x - 1)^9/(x + 2))/log(7) + 10