といてみました。
違ったらごめんなさい。
(1)In=n⋅In−1−e1
(2) (1)を繰り返し、nをどんどん下げていく
In=n⋅In−1−e1=n{(n−1)In−2−e1}−e1=n(n−1)In−2−e1(1+n)=n(n−1){(n−2)In−3−e1}−e1(1+n)=n(n−1)(n−2)In−3−e1{1+n+n(n−1)}⋮
このように繰り返していくと
In−m=am⋅In−m−1+e1bm
ただしam,bmは次で与えられる。
{ambm=n(n−1)⋯(n−m)=1+n+n(n−1)+⋯+n(n−1)(n−2)⋯(n−m+1)
となっていることが分かる。
ここで、
am=n(n−1)⋯(n−m)=nPm
bm=1+n+n(n−1)+⋯+n(n−1)(n−2)⋯(n−m+1)=i=0∑m−1nPi
と変形できる。
これをm=nまで繰り返すと
In=nPnI0−e1i=0∑n−1nPi=n!(1−e1)−e1i=0∑n−1nPi=n!−e1i=0∑nnPi
を得るが、これは数学的帰納法より確かに正しい。
質問者からのお礼コメント
ありがとうございます