> wieso muss |a_n -a| <|a-b|/2
Definition Konvergenz einer Folge:
(an)n∈ℕ konvergiert genau dann gegen a, wenn es zu jedem ε>0 ein N∈ℕ gibt, so dass |an - a| < ε für alle n > N ist.
Es ist |a-b|/2 > 0, also kann ε = |a-b|/2 gewählt werden. Laut Definition Konvergenz einer Folge existiert dann ein N∈ℕ, so dass für alle n > N etc.
> Und wieso klappt die letzte Abschätzung <|a-b|
|an - a| < |a-b|/2 steht eine Zeile darüber
|an - b| < |a-b|/2 steht ebenfalls eine Zeile darüber.
Addiert man diese zwei Ungleichungen, dann bekommt man
|an - a| + |an - b| < |a-b|/2 + |a-b|/2 = |a-b|.