你想弄懂什么？

该证明使用了收敛形式定义的反面。它确立了对于每一个实数 $L$，存在一个 $\varepsilon > 0$（具体为 $\varepsilon=1$），使得对于每一个自然数 $N$，都存在一个索引 $n > N$，其中 $|a_n - L| \ge \varepsilon$。

适用条件：数列为 $a_n = (-1)^n$。；收敛的定义是 $\forall \varepsilon > 0, \exists N, \forall n > N: |a_n - L| < \varepsilon$。；其否定是 $\forall L, \exists \varepsilon > 0, \forall N, \exists n > N: |a_n - L| \ge \varepsilon$。

该证明使用了收敛形式定义的反面。它确立了对于每一个实数 $L$，存在一个 $\varepsilon > 0$（具体为 $\varepsilon=1$），使得对于每一个自然数 $N$，都存在一个索引 $n > N$，其中 $|a_n - L| \ge \varepsilon$。

适用条件：数列为 $a_n = (-1)^n$。；收敛的定义是 $\forall \varepsilon > 0, \exists N, \forall n > N: |a_n - L| < \varepsilon$。；其否定是 $\forall L, \exists \varepsilon > 0, \forall N, \exists n > N: |a_n - L| \ge \varepsilon$。