不等式|2x-log2^x|