Dejemos que $\displaystyle \begin{array}{ccccc} f & : & \mathbb R_+ & \to & \mathbb R_+ \\ & & x & \mapsto & \sqrt{1+\frac{x}4 }-1\\ \end{array}$
Dando $\displaystyle a_n=2\sum_1^nf(\frac{k}{n^2})$
Por la expansión de Taylor, existe una función continua $\epsilon$ ,
tal que $\epsilon(0)=0\;\;$ y $\; \;\displaystyle \forall x \in \mathbb R_+, f(x)=1+\frac{x}{8}+x\epsilon(x)-1$
Así, $\displaystyle a_n=\frac14\sum_1^n\frac{k}{n^2}+2\sum_1^n\frac{k}{n^2}\epsilon(\frac{k}{n^2})$
Y finalmente $$\displaystyle a_n=\frac18\frac{n(n+1)}{n^2}+2\sum_1^n\frac{k}{n^2}\epsilon(\frac{k}{n^2})$$
Queda por demostrar que $\displaystyle \sum_1^n\frac{k}{n^2}\epsilon(\frac{k}{n^2}) \to 0$
Dejemos que $\xi >0$
Por la continuidad de $\epsilon$ existe alguna $N\in \mathbb N$ tal que $n\geq N \implies |\epsilon(\frac 1n)| \leq \xi$
Dejemos que $n\geq N$
Entonces, $\displaystyle \left |\sum_1^n\frac{k}{n^2}\epsilon(\frac{k}{n^2})\right| \leq \frac{\xi (n+1)}{2n}\leq \xi$
Por lo tanto, $$\displaystyle a_n=\frac18\frac{n(n+1)}{n^2} + o(1) = \frac{1}{8} + o(1)$$