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