>>134
n^m - ΣnCj (n - j)^m かな?(j = 1 から n - 1 まで)
写像としてあり得る全組み合わせから、全射にならないものを引いてみたけど
もっと単純な考え方もあるかもしれん