Die nullte Ableitung von
ist diese Funktion selbst, ferner ist 0 ! = 1 {\displaystyle {}0!=1} , was den Induktionsanfang sichert. Der Induktionsschluss ergibt sich für n ≥ 1 {\displaystyle {}n\geq 1} mit