Lemma 56.11
Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil II/Vorlesung 56
Binomialkoeffizient/Abschätzung zum Mittelpunkt/Summe/Fakt