方程x-log2为底x的对数=3有一实数解存在的区间是