Es ist
-

Bei positivem
führt die Bedingung
-

auf
-

bzw.
-

Dies ist für
-

erfüllt. Für negatives
schreiben wir
-

mit
positiv. Die Bedingung
-

bedeutet dann
-

und ist für jedes
(positive)

erfüllt, da links eine positive rationale Zahl steht. Insgesamt ist die Ungleichung also für alle ganzen Zahlen

erfüllt.