/ 2 \ 2 log(9 - x) log\x - 18*x + 81/ x *---------- <= ------------------- log(512) log(2)
x^2*(log(9 - x)/log(512)) <= log(x^2 - 18*x + 81)/log(2)