证明,方程X乘以2∧X=1至少有一个不少于1的正根