/ 2 \ 2 log(4 - x) log\x - 8*x + 16/ x *---------- >= ------------------ log(512) log(2)
x^2*(log(4 - x)/log(512)) >= log(x^2 - 8*x + 16)/log(2)