Re: Does the number of nines increase?

On 7/2/2024 2:40 PM, Jim Burns wrote:

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

Gack!
In the continuum limit,
the greatest.lower.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.