I am looking for a (simple) formula for an increasing integer sequence $a_n$ such that $$\sin(a_n)\to 0.$$
Of course such a sequence exists, but I am hoping for a simple formula for such a sequence that I could show my students.
The context is the following: I wrote $a_n=\sin(n)$ on the board and my students confidently declared that it wasn't convergent. Fair enough...so I wrote $b_n=\sin(n^2)$ on the board. Again, they were confident it wasn't convergent. I explained to them that they had the tools to show $a_n$ was not convergent, but showing $b_n$ was not convergent would take a lot more work and wasn't at all obvious. So, I'm hoping for a counterexample to show them that it really isn't obvious whether a sequence $\sin(q_n)$ converges as $n\to\infty$. (A simple sequence where the answer is unknown by researchers would also be interesting.)