I am trying to show that
$(a_n)_{n=1}^{\infty} = (\langle\sqrt n \rangle)_{n=1}^{\infty} $ is not a converging sequence ($n \in \mathbb N$).
Where $\langle x \rangle = x - [x]$, and [x] is floor(x). ( e.g. [5.5] = 5, $\langle 5.5 \rangle = 5.5 - 5 = 0.5 $).
I know intuitively that if $a_n = \langle \sqrt n \rangle $ then there is a subsequence of $(a_n)$, say $(a_{n_i})$, such that $\frac{1}{2}<\langle a_{n_i} \rangle<1$. However, I don't know how to state a mathematic expression this kind of subsequence.
Thanks!
Moreover this sequence is dense on $[0;1]$.
Indeed let $ 0\leqslant p\leqslant q,\,\, p,q\in\mathbb Z. $ Then $qn\leqslant \sqrt{q^2n^2+2pn}<qn+1.$
Therefore $ \{\sqrt{q^2n^2+2pn}\}=\sqrt{q^2n^2+2pn}-qn=\frac{2pn}{\sqrt{q^2n^2+2pn}+qn}\to \frac pq.$