\( a_n \) berechnet die durchschnittliche Grösse (arithmetisches Mittel) der ersten n Folgenglieder.
Da (Xn) n Element N eine Nullfolge ist, sind verhältnismässig immer mehr Folgenglieder praktisch Null.
Deshalb ist als Limes n gegen unendlich von (an) das Resultat Null zu erwarten.