🚀 go-pugleaf

All-

Consider the function (whose domain is members of the set Z*, the set of
nonnegative integers) defined by

LiN(x)={letters in the formal English name of x}

For example, LiN(8)=5, because "eight" has five letters.

LiN(x) for the first few values of {0,1,2,...} are
{4,3,3,5,4,4,3,5,5,4,3...}.

Prove (or disprove) that, regardless of the initial value of x,

{lim n->+oo}[a_n=LiN(x) if n=1, a_n=LiN(a_(n-1)) if n>1]=4

Travis J. Willse
sal-crumb@geocities.com