\(\huge\color{blue}{^*\;\lim n\in\mathbb{N}\Rightarrow\lim n\not\in\mathbb{N}}\)

elim

【命题】\(\lim \in\mathbb{N}\implies\lim n\not\in\mathbb{N}\)
【证】设 \(\lim n=m\in\mathbb{N},\)  令 \(M=m+1,\) 则当
\(n\)充分大时 \(n\ge M\) 故 \(m=\lim n\ge{\small M}=m+1\).
可见\(m\)不合皮亚诺公理, \(m\not\in\mathbb{N}\) 即 \(\lim n\not\in\mathbb{N}.\;\;_\blacksquare\)
顽瞎目测蕴含顽瞎目测的否定. 此乃春霞嗜屎之报应．\(\underset{\;}{\;}\)
\(\Large\textbf{ 滚驴白痴真身被验明},\)
\(\Large\color{red}{\textbf{  孬贼船漏不打一处来.}}\)