>>58
>(右辺の次数)=(x^3*f(x+1)の次数)=n+3
が不十分。n>1 なら、n+3>4 だからいいが、
n=1 なら n+3=4 だから右辺の4次の項が打ち消しあって
次数が3次以下になる可能性がある。
なので、n=1の場合も上の式が正しいことを
もう少しくわしくいうべき。