求证：若 $\lim _{n \rightarrow \infty} a_n=+\infty$ ，则数列 $\left\{a_n\right\}$ 存在最小项，即$\exists N_0 \in \mathbb{N}$ ，使得 $a_n \geqslant a_{N_0}, \forall n \in \mathbb{N}$ 。