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