Σnr = 0 nPr

\sum\limits_{r=0}^n{_n\mathrm{C}_r}=2^n
は有名な公式ですが、
\sum\limits_{r=0}^n{_n\mathrm{P}_r}
については知らない人も多いかと思います。私も今日初めて知りました。答は
\sum\limits_{r=0}^n{_n\mathrm{P}_r}=[n!e]
になるそうです。以下がその証明が書かれた論文らしいです。
Number theoretic aspects of a combinatorial function
マイミクさんの日記で知りました。