/ 2 \ 2 log(x + 7) log\x + 14*x + 49/ x *---------- <= ------------------- log(512) log(2)
x^2*(log(x + 7)/log(512)) <= log(x^2 + 14*x + 49)/log(2)