这个问题应该没那么简单,应该要用一下Liouville's theorem。
这里给了Liouville定理的一个数分范围内的证明。
很清楚,这相当于要证明 存在,依函数极限的归结原理,这无非是说,对任意序列 ,只要 就有 存在且相等。
可以证明, 若其不然,则 这是不可能的。[2]但 于是 于是有
再次提请注意, 是无理数,依逼近定理, 必然蕴含 [3]于是 从而
综上两方面,即证。