/ 2 \ 2 log(x - 3) log\x - 6*x + 9/ x *---------- >= ----------------- log(25) log(5)
x^2*(log(x - 3)/log(25)) >= log(x^2 - 6*x + 9)/log(5)