Lemma 29.7 Kurs:Mathematik (Osnabrück 2009-2011)/Teil I/Vorlesung 29
Reelle Kosinusfunktion/Genau eine Nullstelle zwischen 0 und 2/Fakt