Zuerst nehmen wir an, dass lim unendlich an = a gilt , d.h. für alle epsilon > 0
gibt es ein N element von  N, sodass |an- a| < epsilon , für alle n >=N.
Es gibt also für alle
epsilon > 0 ein N, sodass |a2n -a| < epsilon und  |a2n-1 - a | < epsilon für n >= N.
Es gilt
also limes unendlich  a2n = a
und
limes unendlich  a2n-1 = a.
Nun nehmen wir an, dass die beiden
Teilfolgen gegen a konvergieren, d.h. es gibt für alle epsilon > 0 zwei Zahlen N1;N2 element von  N,
sodass |a2n -a|< epsilon bzw. |a2n-1 -a| < epsilon für n >= N1 bzw. für n >=  N2.
Wir setzen
dann M := max(2N1; 2N2 -1).
Damit gilt |am - a|< epsilon für m >= M.
Das zeigt,
dass es für alle epsilon > 0 ein M element vonN gibt, sodass |a-am| < "epsilon für m >= M, d.h. es gilt
lim unendlich  an = a.