Las otras respuestas se refieren a la velocidad de convergencia a $1$ que creo que no es su pregunta.
Quiero revertir el problema. Escriba a $f(x) = x-\log(x)$ . Sea $M>1$ y $(u_n)$ sea la secuencia definida por:
$$u_0 = M \text{ and } u_{n+1} = g(u_n),$$
donde $g : [1, +\infty) \to [1, +\infty)$ es la biyección inversa a $f$ . Entonces $x_i = g(x_{i+1})$ para que $n = x_0 = g^{(N_n)} (x_{N_n}) < g^{(N_n)} (M) = u_{N_n}$ y $n = x_0 = g^{(N_n-1)} (x_{N_n-1}) \geq g^{(N_n-1)} (M) = u_{N_n-1}$ . Tenga en cuenta también que
$$\lim_{n \to + \infty} \frac{f(n)}{n} = 1 \text{ so } \lim_{n \to + \infty} \frac{g(n)}{n} = \lim_{n \to + \infty} \frac{f(g(n))}{g(n)} \frac{g(n)}{n} = 1.$$
Desde $u$ es creciente, obtenemos que $N_n = \inf \{k \geq 0 : \ u_k > n\}$ . Esto es conveniente, ya que hemos trasladado el problema inicial al estudio de la tasa de crecimiento de una única secuencia.
Dejemos que $L>0$ . Para $x \geq M$ tenemos $f(x) = x-\log(x) \leq x-\log(M)$ para que $x \leq g(x-\log(M))$ De ahí que $g(x) \geq x+\log(M)$ . De ello se desprende que $u_n \geq M + n \log(M)$ para que $\lim_{n \to + \infty} u_n = +\infty$ .
Ahora, déjame probar que $u_n$ crece de forma superlineal. Sea $L>0$ . Sea $n_0$ sea tal que $u_n \geq 10^L$ para todos $n \geq n_0$ . Con el mismo argumento anterior, $g(x) \geq x+L$ para todos $x \geq 10^L$ . Por lo tanto, para todos los $n \geq n_0$ ,
$$u_n = u_{n_0} + (u_n-u_{n_0}) \geq u_{n_0} + (n-n_0)L.$$
De ello se desprende que $\liminf_{n \to +\infty} u_n/n \geq L$ . Dado que esto es válido para todos los $L> 0$ Finalmente conseguimos
$$\lim_{n \to + \infty} \frac{u_n}{n} = +\infty.$$
Especialización en la subsecuencia $(N_n)$ que también converge a $+\infty$ ,
$$\lim_{n \to + \infty} \frac{u_{N_n}}{N_n} = +\infty.$$
Pero $n < u_{N_n} \leq g(n)$ Así que
$$\lim_{n \to + \infty} \frac{g(n)}{N_n} = +\infty.$$
Por último, dado que $g(n) \sim n$ obtenemos
$$\lim_{n \to + \infty} \frac{N_n}{n} = 0,$$
es decir, $N_n = o(n)$ .
El razonamiento anterior puede adaptarse a muchas funciones en lugar de $\log$ aunque hay que comprobar muchos detalles. Creo que el resultado debería ser válido para la recursión $x_{i+1} = x_i-h(x_i)$ , donde $\inf h>0$ y $\lim_{x \to +\infty} h(x) = +\infty$ así como $\lim_{x \to +\infty} h(x)/x = 0$ pero eso no es del todo trivial.