Wir kümmern uns mal um das Sup. Wenn das Sup kleiner als 1 wäre, dann gäbe es ein positives d mit
{n∣n∈N}∩k=0⋃∞Ik=∅ mit IK : =[0.5π+2kπ−d,0.5π+2kπ+d]
In Worten: Die Folge (n) hält sich von potentiellen 1-Stellen des sin fern. Nun ist (n) streng monoton wachsend, außerdem:
n+1−n≤n+1+n1→0
Sobald also n+1−n<2d, muss eines der nächsten Folgenglieder in das nächste Intervall Ik hineintapsen....