1 sayısı, A için bir üst sınırdır.
\forall \varepsilon>0 için |\sin n-1|<\varepsilon olacak şekilde bir n\in\mathbb{Z} nin var olduğunu göstermek yeterlidir.
G,\ (\mathbb{R},+) nin 1 ve 2\pi tarafından üretilen alt grubu olsun.
http://matkafasi.com/120724/%24-mathbb-r-%24-grubunun-alt-gruplari
probleminden, (çünki devirli değil, neden?) G,\ \mathbb{R} de yoğundur.
G=\{n+2m\pi:n,m\in\mathbb{Z}\} dir.
Şu basit eşitsizliğe ihtiyacımız var: \forall x,y\in\mathbb{R} için |\sin x-\sin y|\leq|x-y| dir.
(bu eşitsizlik Ortalama Değer Teoremi veya trigonometrik özdeşlikler kullanarak gösterilebilir)
Bir \varepsilon>0 verilsin.
G,\ \mathbb{R} de yoğun olduğu için, |\frac\pi2-(n+2m\pi)|<\varepsilon olacak şekilde n,m\in\mathbb{Z} vardır. Yukarıdaki eşitsizlikten,
|1-\sin n|=|\sin\frac\pi2-\sin(n+2m\pi)|\leq|\frac\pi2-(n+2m\pi)|<\varepsilon
olur.