Wenn ich sage: “für jedes n gibt es ein d, das die Funktion kleiner macht als n”, so muss ich mich auf ein allgemeines arithmetisches Kriterium beziehen, das anzeigt, wann F(d) kleiner ist als n.