\(\huge\color{red}{驳《\lim n\in\mathbb{N}\implies\lim n\notin\mathbb{N}》}\)

春风晚霞

        最近elim在《\(\lim n\in\mathbb{N}\)\(\implies\)\(\lim n\)\(\notin\)\(\mathbb{N}\)》主题下发帖（其实仍是被批臭的宿贴)称：【设 lim n=m∈\(\mathbb{N}\),  令 M=m+1, 则当 n充分大时n≥M故 m=lim n≥M=m+1. 可见m不合皮亚诺公理, \(m\notin\mathbb{N}\)即 \(\lim n\notin\mathbb{N}\).顽瞎目测蕴含顽瞎目测的否定. 此乃嗜屎之报应．滚驴白痴真身被验明 滚驴白痴真身被验明孬贼船漏不打一处来 .】
        elim:因为\(\displaystyle\lim_{n \to \infty}n=\)\(\displaystyle\lim_{n \to \infty}n\)(相等关系的反身性），0<1（已知）;所以0+\(\displaystyle\lim_{n \to \infty} n<\)\(1+\displaystyle\lim_{n \to \infty} n\)(不等量加等量原来大的依然大)，即\(\displaystyle\lim_{n \to \infty} n<\)\(\displaystyle\lim_{n \to \infty}n+1\).所以在你假设的基础上，无论 n充分大到什么程度，恒有m=\(\displaystyle\lim_{n \to \infty}n<\)\(\displaystyle\lim_{n \to \infty}n+1\)，即无论 n充分大到什么程度，恒有m=\(\displaystyle\lim_{n \to \infty}n<M=m\)\(+1\)。因此m=\(\displaystyle\lim_{n \to \infty}n\)适合皮亚诺公理，并\(M=(m+1)\in\mathbb{N}\)！
        春风晚霞试问elim:
        ①、你的【当 n充分大时n≥M】的依据是什么？充分大的n与\(\displaystyle\lim_{n \to \infty}n\)谁更大？这个充分大的n比你的【\(\displaystyle\lim_{n \to \infty}n=Sup\mathbb{N}\)、\(\displaystyle\lim_{n \to \infty}n=Max\mathbb{N}\)】还要大吗？！由此观之elim这篇奇文确实是对elim臆测的否定！
        ②、elim你不是说你的狗屁帖子讲论证、讲自洽吗？到底是殴几理德的不等量公理不自洽，还是你的随意杜撰的臆测法不自洽？！elim,到底谁他妈的【白痴真身被验明，孬贼船漏不打一处来】？！

春风晚霞

现行数学中，任何一本教科书都支持\(\displaystyle\lim_{n \to \infty}n\)\(\in\mathbb{N}\)，及与之逻辑等价的任何命题!!