Mathematics for Applied Sciences (Osnabrück 2023-2024)/Real cosine function/One zero between 0 and 2/Fact/Factreferencenumber

Lemma 16.10