Supongamos que $f:[n]\to[n]$ es un bijection sin puntos fijos. A continuación,$f(n)\in\lbrace 1,\ldots,n-1\rbrace$. Todos estos casos son de la misma hasta el reetiquetado, así que supongo $f(n)=n-1$. Ahora defina $g:[n-1]\to[n-1]$$g(x)=f(x)$, a menos que $f(x)=n$, en cuyo caso se definen $g(x)=n-1$. Si $g$ no tiene puntos fijos, bien. De lo contrario, ya que $f$ no tiene puntos fijos, debe ser que $g(n-1)=n-1$, es decir, $f(n-1)=n$. Por lo tanto $f$ sólo swaps $n$ $n-1$ $f|_{[n-2]}$ no debe tener puntos fijos.
Ahora acaba de comprobar que cada uno de los términos en la fórmula son contabilizados y nada se cuentan dos veces.