I am new to real analysis and recently when I am reading about how $\sin(na)$ diverges as $n\rightarrow\infty$. There is a statement that I can't comprehend.
$\forall a\in (0,\pi)\exists n_k\in Z\rightarrow 2k\pi + \frac{\pi}{2}-\frac{a}{2}\leq n_ka\leq 2\pi k+\frac{\pi}{2}+\frac{a}{2}$
Is it possible to prove it as well as providing the intuition about it? I find it abstract especially when another sequence is involved.