/ / 2 \\ / 2 \ |log\x - 6*x + 9/| / 7 \ |2*x - 15*x + 25| |-----------------| log|2*x - 3 + -----| log|----------------| \ log(7) / \ x - 6/ \ x - 6 / ------------------- <= -------------------- + --------------------- log(7) log(7) log(7)
(log(x^2 - 6*x + 9)/log(7))/log(7) <= log((2*x^2 - 15*x + 25)/(x - 6))/log(7) + log(2*x - 3 + 7/(x - 6))/log(7)