使不等式log2x