Beweis. Angenommen, an → a und an → b und a≠b. Dann ist |a - b| > 0. Nach Definition der Konvergenz gilt:
Für jedes ε > 0 existiert ein n0, so daß für jedes n ≥ n0 : |an - a| < ε, und
es existiert ein m0, so daß für jedes n ≥ m0 : |an - b| < ε.
Das gilt speziell für ε = |a - b| 2 .
Ist k = max{n0,m0}, dann gilt für n ≥ k
|a - b| = |a - an + an - b|≤|a - an| + |an - b| < 2ε.
Also
|a - b| < 2ε = 2 ⋅|a - b| 2 = |a - b| !