I wonder whether the sequence $s_{n} = \sum_{k = 1}^{n} \sin k$ is bounded.
The answer seems no, but I have no idea how to prove this from the irrationality of $\pi$.
I wonder whether the sequence $s_{n} = \sum_{k = 1}^{n} \sin k$ is bounded. The answer seems no, but I have no idea how to prove this from the irrationality of $\pi$. 


Questions on MathOverflow are expected to relate to research level mathematics within the scope defined by the community. Consider editing the question or leaving comments for improvement if you believe the question can be reworded to fit within the scope. Read more about reopening questions here.If this question can be reworded to fit the rules in the help center, please edit the question.
In this particular case, use $s_n(\theta)=\sum_{k=0}^n\sin(k\theta)=\Im(\sum_{k=0}^n\exp(ki\theta))=\dots=\frac{\sin(n\theta/2)\sin((n+1)\theta/2)}{\sin (\theta/2)}$ 

