1) Tum n≥1 icin |sinn|≤1 esitsizligi saglanir.
2) θ>0 icin sinθ<θ oldugundan |sin(sinn)|<sin1, ⋮
3) g(n)=|sin⋯sin1| fonksiyonunu inceleyebiliriz; g azalan bir fonksiyon ve alttan sinirli.
4) Demek ki g foksiyonunun bir limiti var. Bu limite L dersek sinL=L olmali.
5) sinx=x denkleminin cozum kumesi x=0'dir.