Der Binomialkoeffizient
-

wird von allen Primzahlen
mit
geteilt, da diese den Zähler, aber nicht den Nenner teilen. Aus der allgemeinen Binomischen Formel ergibt sich die Abschätzung
-

Diese zwei Beobachtungen ergeben zusammen die Abschätzung
-

Wir wenden auf diese Abschätzung den natürlichen Logarithmus an und erhalten
-

Geschicktes Aufsummieren ergibt dann

Insbesondere erhält man für Zahlen
mit
die Abschätzung
-
