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