TrueQ[Sum[FactorialPower[n,k],{k,0,n}]==(n+1)!-1]