One can prove that the sequence $ u_n=\{\sin(n)\}_{n \in \mathbb{N}} $ diverges using a similar argument as in : Proves the divergence of sequence of sin(n)
But we can also prove that $f(x)=\sin(x)$ diverges at $x=+\infty$ because it's continuous and has two different limit 1 and -1 at $ x_n=\frac{(4n+1)\pi}{2} $ and $y_n=\frac{(4n+3)\pi}{2}$
Now my question is :
Can we use the latter fact to conclude that the sequence diverges ? In fact $x_n$ and $y_n$ are not integers, so $\sin(x_n)$ or $\sin(y_n)$ are not subsequences of the initial sequence, so that's maybe not enough to conclude it for that only reason.
In other word, what conditions are required (continuity, etc), to conclude that if $f(x)$ diverges at $x=+\infty$ then $u_n = f(n)$ diverges as well.
Thanks !