Hi,
ich bin die Sache mal so angegangen:
Für an→a
∃n0 ∀n>n0 |an - a|<ε ⇒ a-ε<an<a+ε
dann existiert für die Folge bn:=(a1+a2+...+an)/n
ein m>n für das dann gilt (a1+a2+...an+an+1+an+2+...+am)/m
⇒ (a1+a2 +...+an)/m + (m-n)(a-ε)/m<bn<(a1+a2+...+an)/m+(m-n)(a+ε)/m
Für m →∞ hat man dann a-ε<bn<a+ε