Re: Does the number of nines increase?

On 7/1/2024 7:42 PM, Ross Finlayson wrote:

On 06/30/2024 09:22 PM, Jim Burns wrote:

[...]

>
It's not really any of the initial approximations,
this limit, this infinite limit, this continuum limit.
>
It's an _infinite_ limit.

Again, despite the name,
the continuum limit and the continuum are different.
In the continuum limit,
the least.upper.bound of neighbor.distances is 0
In the continuum,
in each nonempty split F ᴬ<ᴬ H
foresplit F holds a last or hindsplit H holds a first.
The rationals are an example of
the continuum limit which isn't the continuum.