On the natural density of the range of the terminating nines function (Q1263609): Difference between revisions

The function \(t(n)=\sum_{t\geq 1}[n/10^ t]\), where [ ] is the integer part function, gives the number of terminating nines which occur in the natural numbers up to n but not including n. Let T be the set defined by \(T=\{t(n):\) \(n=1,2,...\}\) and denote by T(x) the number of elements in T not exceeding x. The authors show that \(\lim_{x\to \infty}(T(x)/x)=9/10.\)