|
|
据Weierstrass 极限定义, \(\lim n\not\in\mathbb{N}\). 证明如下:
(反证法) 若 \(\lim n = m\in\mathbb{N}\), 取 \(\varepsilon=1,\) 对任意
\({\scriptsize N}> m\), 当 \(n\scriptsize >N\) 时 \(\small |n-m| > {\scriptsize N}-m\ge 1=\varepsilon.\)
故 \(\lim n\ne m.\quad\therefore\;\;\lim n\) 不等于任何自然数!!
用春霞自己的话, 瞎驴目测 \(\lim n\in\mathbb{N}\) 大錯特错.
【注记】本定理及其证明指出, 除非序扩充 \(\mathbb{N}\) 至
\(\mathbb{N}^*=\mathbb{N}\cup\{\infty\}\)(\(\infty=\sup\mathbb{N}\)), 进一步如实函以
\({\small\forall M\in\mathbb{N}\,\exists N\in\mathbb{N}\,\forall n>N\,(}a_n>\small M)\)为\(\lim a_n\small=\infty\)
的定义, \(\lim n\)在Weierstrass(狭义)极限定义下是
不存在的!滚驴对顽瞎目测的所有证明都预设了
\(\lim n\) 的存在, 因而都是不成立的, 反数学的.
|
|