/log(9 - x)\ |----------| log(x - 2) / 2\ \ log(5) / log(12*x) ----------*\24 + 2*x - x / + ------------- <= -1 + --------- log(5) 2 log(5) 24 + 2*x - x
(log(9 - x)/log(5))/(-x^2 + 2*x + 24) + (log(x - 2)/log(5))*(-x^2 + 2*x + 24) <= log(12*x)/log(5) - 1