Yo soy capaz de demostrar que $\lim_{n\to\infty}a_n\le 2$, pero no puedo pensar en una manera de mostrar la desigualdad estricta.
Aquí está mi trabajo hasta el momento:
Por las sumas de Riemann,
$$\int_1^{n+1}\frac{1}{\sqrt x}\,dx<\sum_{k=1}^n\frac{1}{\sqrt k}<\int_0^n\frac{1}{\sqrt x}\,dx.$$
$$2\sqrt{n+1}-2<\sum_{k=1}^n\frac{1}{\sqrt k}<2\sqrt n$$
Así,
$$0<2\sqrt n-\sum_{k=1}^n\frac{1}{\sqrt k}<2\sqrt n+2-2\sqrt{n+1},$$
lo que implica,
$$0<2\sqrt n-\sum_{k=1}^n\frac{1}{\sqrt k}<2\quad\forall\,n\ge1.$$
$$\begin{align} a_{n+1}-a_n & =\left(2\sqrt{n+1}-\sum_{k=1}^{n+1}\frac{1}{\sqrt k}\right)-\left(2\sqrt n-\sum_{k=1}^n\frac{1}{\sqrt k}\right)\\ & =2(\sqrt{n+1}-\sqrt n)-\frac{1}{\sqrt{n+1}}\\ &=\frac{2}{\sqrt{n+1}+\sqrt n}-\frac{1}{\sqrt{n+1}}\\ &=\frac{\sqrt{n+1}-\sqrt n}{\sqrt{n+1}(\sqrt{n+1}+\sqrt n)}>0. \end{align}$$
Desde, $a_1=1$, $\{a_n\}$ es una secuencia progresión, y
$$1<a_n<2,\quad\forall\,n\ge1.$$
Por eso, $\{a_n\}$ converge, y
$$1<\lim_{n\to\infty}a_n\le2.$$