Showing $\sup \{ \sin n \mid n\in \mathbb N \} =1$ [closed]

If $\alpha$ is an irrational number, then $\{ \operatorname{fractional part}(n\alpha) : n \in\mathbb{N} \}$ is dense in $(0,1)$.

Let $\alpha = 1/(2\pi)$. Then for every open interval about $1/4$, no matter how small, there is some $n$ such that $\operatorname{fractional part}(n\alpha)$ is in that interval. When $n/(2\pi)$ is close to $1/4$, then $n$ is close to $\pi/2$, so (since the sine function is continuous) $\sin n$ is close to $1$.

How does one prove the assertion in my first paragraph above? I think Dym & McKean's book on Fourier transforms gives a proof using Fourier transforms.

There's also the question of how to prove that $\pi$, and hence $1/(2\pi)$, is irrational. http://en.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational

In epsilon-delta language: Let $\varepsilon>0$. Since sine is continuous, there exists $\delta>0$ such that if $\pi/2-\delta<x<\pi/2+\delta$, then $1 \ge \sin x > 1-\varepsilon$ (the first inequality does not come from continuity, but from known behavior of the sine function). Since $\{ \operatorname{fractional part}(n\alpha) : n \in\mathbb{N} \}$ is dense in $(0,1)$, there exists $n$ such that $n/(2\pi)$ is between $1/4 \pm \delta/(2\pi)$. So $n$ is between $\pi/2\pm\delta$ and so $\sin n > 1-\varepsilon$.

So for every $\varepsilon>0$, the desired sup is $>1-\varepsilon$ but $\le 1$.


Edit: Based on the suggestion of one of the comments, and the fact that this answer is bogus, I'd like to point out here in black and white that this answer is terrible. If anyone is searching for an answer to this question, look at the other ones. This one should never have been accepted.

Not a proof exactly, but remember $\forall_{\epsilon>0}$ you can find an element $\frac{p}{q}\in\mathbb{Q}$ such that $|\frac{p}{q}-\frac{\pi}{2}|&lt\epsilon$

So we can also find an element in $\mathbb{N}$ that is arbitrarily close to $\frac{\pi}{2}\mod 2\pi$. Since sine is continuous, if we find a sequence of natural numbers $a_n$ that approaches $\frac{\pi}{2}\mod 2\pi$ as a limit, then $\sin{a_n}$ approaches 1. Thus $$\sup \{ \sin n |\ n\in \mathbb \{a_{m\in\mathbb{N}}\} \} =1$$ and since $\{a_{m\in\mathbb{N}}\}\subset\mathbb{N}$ then the supremum over all of N is at least as big. Since sine is bounded from above by 1, we are done.

Lots of handwaving, but you should be able to collect the intermediate bits.