Für alle ist größer als 2. Die Lösung dieser Aufgabe aus der letzten Deutschland-Olympiade hat Dorfuchs zu einem Lied verarbeitet: