an konvergiert gegen a,
bn konvergiert gegen b,
an<bn ∀n∈N.
Beachte den Kommentar von Spacko !
Angenommen, es wäre a > b
==> ε := a-b > 0 . Also auch ε /2 > 0 .
Gemäß Grenzwertdef. gibt es für ε /2
sowohl ein N als auch ein M sodass für
alle n > max (N,M) gilt | an-a| < ε /2 als auch | bn-b| < ε /2
Die an liegen damit alle in der ε /2 von a und die bn in der ε /2 von a .
Da sich diese Umgebungen nicht überschneiden
und a > b ist, sind die an alle größer als die bn im
Widerspruch zu Vor.