不等式log2(2^x-1)·log2(2^(x+1)-2