Ist y0 ≠ 0 und ist | y - y0 | < min (|y0| / 2 , eps |y0|² / 2 )
dann ist y ≠ 0 und es gilt | 1/y - 1/y0 | < Eps
stimmt der anfang so und irgendwas oder mehreres oder vielleicht auch alles (? : D) muss falsch sein weil ich bei der abschätzung des betrags von |y| nochmal verkleinert habe damit am ende epsilon steht... : (
$$\left| \frac { 1 }{ y } \quad -\quad \frac { 1 }{ { y }_{ 0 } } \right| \quad =\quad \frac { |y\quad -\quad { y }_{ 0 }| }{ \left| y \right| \quad *\quad \left| { y }_{ 0 } \right| } \quad <\quad \frac { min\left( \frac { \left| { y }_{ 0 } \right| }{ 2 } \quad ,\quad \frac { { \epsilon \left| { y }_{ 0 } \right| }^{ 2 } }{ 2 } \right) }{ \left| y \right| \quad *\quad \left| { y }_{ 0 } \right| } \\ \\ \\ =\quad \frac { \frac { { \epsilon \left| { y }_{ 0 } \right| }^{ 2 } }{ 2 } }{ \left| y \right| \quad *\quad \left| { y }_{ 0 } \right| } \quad =\quad \frac { { \epsilon \left| { y }_{ 0 } \right| }^{ 2 } }{ 2\left| y \right| *\left| { y }_{ 0 } \right| } \quad =\quad \frac { \epsilon }{ 2 } \quad *\quad \frac { { |y }_{ 0 }| }{ |y| } \quad \\(mit\quad Bemerkung\quad dass\quad dann\quad y\quad \quad \neq \quad 0\\ gilt)\quad \\ <\quad \quad \frac { \epsilon }{ 2 } \quad *\quad \frac { { |y }_{ 0 }| }{ { y }_{ 0 }\quad +\quad \frac { \left| { y }_{ 0 } \right| }{ 2 } } \quad \\ \\ =\quad \frac { \epsilon }{ 2 } \quad *\quad \frac { { |y }_{ 0 }| }{ |{ y }_{ 0 }|\quad +\quad \frac { \left| { y }_{ 0 } \right| }{ 2 } } \quad =\quad \frac { \epsilon }{ 2 } \quad *\frac { { |y }_{ 0 }| }{ \frac { 2{ |y }_{ 0 }| }{ 2 } \quad -\quad \frac { \left| { y }_{ 0 } \right| }{ 2 } } \quad =\quad \frac { \epsilon }{ 2 } \quad *\quad \frac { { |y }_{ 0 }| }{ \frac { \left| { y }_{ 0 } \right| }{ 2 } \quad } \\ \\ =\quad \frac { \epsilon }{ 2 } \quad *\quad \frac { { 2|y }_{ 0 }| }{ \left| { y }_{ 0 } \right| \quad } \quad =\quad 2\quad *\quad \frac { \epsilon }{ 2 } \quad =\quad \epsilon \\ \\ ----------------------------------------------------------\\ \left|y \right| \quad =\quad \left| y\quad -\quad y_{ 0 }\quad +\quad { y }_{ 0 }\quad \right| \quad \le \quad \left| y\quad -\quad { y }_{ 0 } \right| \quad +\quad \left| { y }_{ 0 } \right| \quad \le \quad \frac { \left| { y }_{ 0 } \right| }{ 2 } \quad +\quad |{ y }_{ 0 }|\quad <\quad \frac { \left| { y }_{ 0 } \right| }{ 2 } \quad -\quad |{ y }_{ 0 }|\\ \\ \\ \\ \\ \\ $$