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.