Natürliche Zahlen/Ordnungsrelation/01/Alternative/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Zur bewiesenen Aussage
Beweis
Wir verwenden die Charakterisierung aus Fakt.
- Ist klar wegen .
- Wir zeigen die Aussage oder für alle durch Induktion über . Für ist die Aussage klar. Sei also angenommen, dass die Aussage für ein bestimmtes gelte. Dann ist oder . Im ersten Fall ist dann und insbesondere . Im zweiten Fall ist mit einem und damit .
- Wird ähnlich wie (2) bewiesen, siehe Aufgabe.