Let $a_1,a_2,a_3,…,a_n$ be a sequence of real numbers which satisfies the relation $a_{n+1}=\sqrt{a^2_n+1}$∀n∈N. Suppose that there exists a positive integer $n_0$ such that $a_{2{n_0}}=3a_{n_0}$. Then, find the value of $\lfloor \sum_{n=1}^{49} \sqrt{\frac{8}{8a^2_n +7}} \rfloor $ where the $\lfloor . \rfloor$ denotes the greatest integer function.
My attempt: For $n_0 =1$, we get the value of $a^2_1 = 1/8$.
Also using the relation, $a_n$ simplifies to $a^2_n = a^2_1 + n -1 =\frac {8n-7}{8}$.
Now substituting this value into the required sum, it reduces to $\lfloor \sum_{n=1}^{49} {\frac{1}{\sqrt n}} \rfloor $. Using Python I have verified that this is 12, which is the correct answer, however the question requires to do it manually, and I am unable to do so.
Any hints on how to approach solving further, or any other methods of going about the problem are appreciated.