Angeordneter Körper/Konvergente Folgen/Rechenregeln/4/Fakt/Beweis

Beweis

Da der Limes der Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ nicht ${}0$ ist, gilt für ${}n\geq N_{1}$ die Bedingung ${}\vert {x_{n}}\vert \geq {\frac {\vert {x}\vert }{2}}$ und damit

${}{\frac {1}{\vert {x_{n}}\vert }}\leq {\frac {2}{\vert {x}\vert }}\,.$

Es sei ${}\epsilon >0$ vorgegeben. Wegen der Konvergenz von ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ gibt es ein ${}N_{2}$ mit

$\vert {x_{n}-x}\vert \leq {\frac {\epsilon \vert {x}\vert ^{2}}{2}}{\text{ für alle }}n\geq N_{2}.$

Dann gilt für alle ${}n\geq N:=\max\{N_{1},N_{2}\}$ die Abschätzung

${}\vert {{\frac {1}{x_{n}}}-{\frac {1}{x}}}\vert =\vert {\frac {x_{n}-x}{xx_{n}}}\vert ={\frac {1}{\vert {x}\vert \vert {x_{n}}\vert }}\vert {x_{n}-x}\vert \leq {\frac {2}{\vert {x}\vert ^{2}}}\cdot {\frac {\epsilon \vert {x}\vert ^{2}}{2}}=\epsilon \,.$

Zur bewiesenen Aussage