/ 2 \ log(4 - x) log\x - 8*x + 16/ x*---------- <= ------------------ log(3) log(5)
x*(log(4 - x)/log(3)) <= log(x^2 - 8*x + 16)/log(5)