Das ist wohl das Kriterium:
Wenn zwei Folgen an und bn den gleichen Grenzwert g haben
und für alle n asu IN die Folgenglieder zwischen an und bn liegen,
genauer an >= cn >= bn für alle n aus N
hat auch cn den Grenzwert g.
Wenn du bei deiner Fkt den Differenzenquotient bei 0 bildest,
etwa (f(o+h) + f(0) ) / h
kannst du kürzen und hast h * sin(1/h)
Das liegt aber zwischen -h und h.
Für h gegen 0 gehen -h und h auch gegen 0 und
damit auch der Differenzenquotient.
Also f ' (0) = 0