También es posible dar una prueba combinatoria.
Sea $A=\{0\}\cup[n]=\{0,\ldots,n\}$ contaremos de dos maneras las permutaciones de $A$ que empiezan por $0$ .
Por un lado están, por supuesto $n!$ de ellos, ya que los restantes $n$ los elementos pueden disponerse en cualquier orden.
Alternativamente, para $k\in[n]$ deje $P_k$ sea el conjunto de permutaciones de $A$ en el que $k$ precede a $0$ es evidente que exactamente la mitad de las permutaciones de $A$ están en $P_k$ Así que $|P_k|=\frac12(n+1)!$ . En términos más generales, si $\varnothing\ne I\subseteq[n]$ entonces $\bigcap_{k\in I}P_k$ es el conjunto de permutaciones en las que $0$ va precedido de cada elemento de $I$ y
$$\left|\bigcap_{k\in I}P_k\right|=\frac{(n+1)!}{k+1}\;.$$
Un sencillo argumento de inclusión-exclusión ahora se obtiene la ecuación
$$\left|\bigcup_{k\in[n]}P_k\right|=\sum_{\varnothing\ne I\subseteq[n]}(-1)^{|I|+1}\frac{(n+1)!}{k+1}=\sum_{k=1}^n(-1)^{k+1}\binom{n}k\cdot\frac{(n+1)!}{k+1}\;.$$
Pero $\bigcup_{k\in[n]}P_k$ no es más que el conjunto de permutaciones de $A$ en el que $0$ hace no son lo primero, así que
$$n!=(n+1)!-\sum_{k=1}^n(-1)^{k+1}\binom{n}k\cdot\frac{(n+1)!}{k+1}=(n+1)!\sum_{k=0}^n(-1)^k\binom{n}k\frac1{k+1}\;,$$
y dividiendo por $(n+1)!$ se obtiene la identidad deseada.