How would you evaluate the limit inferior of the sequence $n\,|\mathopen{}\sin n|$? That is, $$\liminf\limits_{n\to\infty} \ n \,|\mathopen{}\sin n|$$
Edit. Let $\mu$ be the irrationality measure of $\pi$. Since $\mu$ is not known, I will split the question:
- Assuming $\mu > 2$, what is $\liminf\limits_{n\to\infty} \ n\,|\mathopen{}\sin n|$?
- Assuming $\mu = 2$, what is $\liminf\limits_{n\to\infty} \ n\,|\mathopen{}\sin n|$?
