不等式log2(x2-x)