/ 2 \ log\4*x - 1/ log(5*x + 9*x - 1) ------------- - log(2*x) < ------------------ log(2) log(2)
-log(2*x) + log(4*x^2 - 1)/log(2) < log(5*x + 9*x - 1)/log(2)