Re: There is a first/smallest integer (in Mückenland)

Am 17.07.2024 um 23:20 schrieb WM:

The question is: How does NUF(x) [jump] from 0 to more? There is a point [namely x = 0] where NUF(x) is 0 and then it [jumps]. How?

Hint:   NUF(x) := |{u e {1/n : n e IN} : u <= x}| (x e IR) .
Hence
         NUF(x) = 0   for all x e IR, x <= 0
and
         NUF(x) = aleph_0   for all x e IR, x > 0 .
That's "how", Du dummer Spinner.