| 
 | 
 
(反证法) 若 \(\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 a_n\ne a\) 的定义是 
 \(\qquad\exists\varepsilon>0\,\forall N\,\exists n>N\,(|a_n-a|\ge\varepsilon)\) 
 
 
 |   
 
 
 
 |