Demostremos que $$ 1 \le a_n \le n $$ Desde $a_1 = 1$ y $a_{n+1} > a_n$ tenemos claramente $a_n \ge 1$ . Podemos demostrar que $a_n \le n$ por inducción. Tenemos $a_1 = 1 \le 1$ y el paso de inducción es $$ a_{n+1} = a_n + \frac{1}{a_n} \le n + \frac{1}{a_n} \le n + 1, $$ desde $a_n \ge 1$ .
Sobre la pregunta a). Si $a_n$ es un número entero, entonces $1/a_n$ es un número entero sólo si $a_n = 1$ . Eso nos da el caso $a_2 = 2$ . También por definición $a_1 = 1$ . No hay otros enteros en esta secuencia. Sea $a_n = \frac{p}{q}$ donde $p$ y $q$ son coprimos y $q>1$ . Entonces $$ a_{n+1} = a_n + \frac{1}{a_n} = \frac{p^2 + q^2}{pq}. $$ Así que debemos tener $p^2 + q^2 = m\cdot pq$ para algunos $m \in \mathbb{N}$ . Pero eso no es posible si $p$ y $q$ son coprimos, porque $q$ debe dividir $p^2$ y $q > 1$ . Por tanto, sólo hay dos índices ( $n=1,2$ ) para los que $a_n$ es entero.
En cuanto a la pregunta b). Dado que $$ a_{n+1} = a_n + \frac{1}{a_n} \ge \frac{1}{a_n} + \frac{1}{a_{n-1}} + \ldots + \frac{1}{a_1} \ge \frac{1}{n} + \frac{1}{n-1} + \ldots + 1 = H_n $$ donde $H_n$ es una serie armónica, que diverge claramente.