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