I was trying to answer the question at How to show that $\lim_{n \to \infty} \sin(n^2)$ does not exist?
I was able to show that $\sin(n^2)$ does not tend to a limit, but am still unable to show that $n^2$ itself is dense mod $\pi$. Can this be deduced in a straightforward way from the famous theorem that the integers are dense mod $\pi$?
Also, are all integer polynomials dense modulus an irrational number? I struggle to find the relevant literature online.