I was recently asked to find $$\liminf_{n->\infty} n|\sin(n)|. n \in \mathbb{N}$$
I suspect that the answer is $0$, but I'm not quite sure how to prove it. I know that $\{ \sin(n) : n \in \mathbb{N}\}$ is dense on the real line, but from this fact is not easy to me to deduce that $\{ n\sin(n) : n \in \mathbb{N}\}$ is also dense. Maybe one can use this inequality $$n |\sin n| \le |n^2-nk\pi|$$
for every $n,k \in \mathbb{N}$ and prove that $|n^2-nk\pi|$ can be as small as desired, but that seems hard to me.