不等式log2 (x+1)