[math-fun] Re: True So Far [errata]

[David Wasserman]

>
>The finity argument I gave before is basically sound.  At a(2024) = 8945,
>the largest digit count is 894 5's.  There are no more elements up to
>8950.  At 8950 and beyond, the "count" part of the number exceeds
>894, and so cannot be in the sequence.  Ergo the sequence is finite,
>with largest element a(2024) = 8945.
>
There's one nit to pick on this: the "count" part of the hypothetical a(2025) includes the digits in a(2025), so it can be greater than 894.  But it's clear that we don't have to check much farther.