/ x 1\ log|2 - -| \ 6/ (x + 1)*log(36) + ----------- <= x - 1 log(3)
(x + 1)*log(36) + log(2^x - 1/6)/log(3) <= x - 1