解不等式log2(4^x+1)>log(2^x+7)