Sei p:N->N (N natürliche Zahlen) eine Bijektion und (an) n ∈ N eine Nullfolge.
Zeige dass die Folge cn : = (a p(n)) n ∈ N eine Nullfolge ist.
Zu zeigen: Es gibt ein N0 so dass für alle cn mit n > N0 gilt, dass | cn| < €
Sei € > 0. So gibt es nach Voraussetzung (Nullfolge) ein M0 so dass für alle an mit n> M0 gilt, dass |an| < €.
Alle an, die weiter als € von 0 entfernt sind, haben einen Index kleiner oder gleich M0. Diese Menge ist also endlich. Man kann die Menge der p(n) (und die zu ihnen gehörigen cn) für n = 0 bis M0 vollständig hinschreiben. Der maximale Index p(n) kann dann als N0 gewählt werden. qed.
Das angebene Verfahren zeigt, wie in jedem Fall ein gesuchtes N0 gefunden werden kann. Damit ist die Behauptung gezeigt.