不等式log2(x-1)+log2x