Konvergenz von an gegen a war ja wohl so definiert:
(1) ∀ε>0 ∃N(ε)∈ℕ ∀n>N(ε) : |an-a|<ε
und (2) ist die Aussage, die ihr jetzt da stehen habt.
Um die Äquivalenz zu zeigen betrachte erst mal:
(2) ==> (1) . Da 2 eine All-Aussage für alle C>0 ist, gilt sie insbesondere
für C=1 und damit hat man dann (1).
umgekehrt:
Es gelte (1). Sei nun C>0 und sei ε>0. Dann ist auch ε' = C*ε > 0
und somit gilt ∃N(ε')∈ℕ ∀n>N(ε') : |an-a|<ε' = C*ε
Also gilt (2).