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