On 10 Mrz., 17:40, William Hughes <wpihug...@gmail.com> wrote:
> There is no findable line that is > coFIS to (d)
(d) is *not* an actual infinite sequence but only a description in letters.
> g is a findable line. > > Do you agree with the statement > > g is not coFIS to (d)
Of course. The number m = max is not findable or fixable.
g is not identical or coFIS with l_max. Anything you can fix or find of d is not identical or coFIS with the maximum FIS of d = d_1, ..., d_max. This includes everything described by (d).
