Ich würde gerne zeigen, dass es eine bijektive Abbildung f:ℤ→ℤ mit der Eigenschaft f(n)>f(n+1) gibt. In den Lösungen wird als Beispiel die Funktion f(n) = -n angeführt. Das verstehe ich nur nicht ganz, da -n ja kleiner ist als -n+1. Kann mir jemand erklären, in wie fern das Beispiel die Bedingung erfüllt?