log2(3^{x+1} + 1) > 1 + log2(9^x − 2)