Ich würde das schon etwas weiter ausführen, etwa so:
sup M ≥ m für alle m∈M
==> sup M + sup N ≥ m + sup N für alle m∈M.
Außerdem gilt sup N ≥ n für alle n∈N
==> sup M + sup N ≥ m + n für alle n∈N und m∈M.
Und für die Folge wählst du in N und M je eine Folge
nach der Methode:
Für jedes x∈ℕ gibt es in dem Intervall ] sup N - 1/x ; sup N [
ein Element von N. Eines davon sei ax.
Dann konvergiert dei Folge (ax)x∈ℕ gegen sup N .
Entsprechend mit bx gegen sup M.
Dann ist die Summe der Folgen eine, deren Glieder
in N+M liegen und die gegen sup M + sup N geht.