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