Angenommen es wäre \( n \mapsto a_{n} \) nicht injektiv,
dann gäbe es n≠k ∈ℕ mit an = ak .
Also wäre entweder n>k , dann müsste aber wegen der Monotonie
an > ak gelten.
oder es wäre entweder n<k , dann müsste aber wegen der Monotonie
an < ak gelten.
also ist es mit "=" ein Widerspruch.