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.