Lemma 21.1 Kurs:Analysis (Osnabrück 2014-2016)/Teil I/Vorlesung 21
Reelle Kosinusfunktion/Genau eine Nullstelle zwischen 0 und 2/Fakt