Die Teilfolge a5k (Folgenglieder mit Index, der durch 5 teilbar ist) habe den Grenswert g.
In jeder (noch so kleinen) Umgebung von g liegen also fast alle (= alle bis auf endlich viele) Glieder dieser Folge.
In einer solchen Umgebung liegen jeweils aber auch unendlich viele Glieder der Teilfolgen a2k ( gerader Index) und a2k+1 (ungerader Index), weil mit wachsendem k immer wieder (also unendlich viele!) Glieder der beiden letzten Folgen in der ersten Folge vorkommen.
Wäre nun z.B. der Grenzwert g1 von a2k ≠ g mit d:= |g - g1|, so könnten in der Umgebung
[ g1- d/3) ; g1 + d/3] von g1 nicht fast alle Folgenglieder von a2k liegen. (für ak+1 analog)
-> g1 = g2 = g