Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Natürliche Zahlen/Ordnungsrelation/a geq b/Alternative/Aufgabe/Aufgabereferenznummer