/ x + 1 \ / x \ (x - 1)*log(2) + log\2 + 1/ < log\7*2 + 12/
(x - 1)*log(2) + log(2^(x + 1) + 1) < log(7*2^x + 12)