Gemäss Definition des Grenzwertes von konvergenten Folgen (an) mit Grenzwert A gilt: Für jedes ε > 0 gibt es ein N in IN so dass |an - A| < ε für alle n ≥ N.
Nun wählen wir ε = 0.5 und erhalten, da (an) gegen A konvergiert:
Es gibt ein N in IN so dass |an - A| < 0.5 für alle n ≥ N.
Ganze Zahlen, die sich betragsmässig um weniger als 0.5 vom Grenzwert unterscheiden, müssen zwangsweise immer gleich sein. Sie entsprechen alle dem Grenzwert A.