>>902
できた。
まず基本的な公式として n≧3 のとき
Σ s(σ) = 0、Σ s(σ)f(σ) = 0、Σ[f(σ) = 0] s(σ) = (-1)^(n-1)(n-1)
が成立する。容易ゆえ証明は略。
自然数 n,i に対し
X[n,i] = Σ[n∈Sn] s(σ)/(f(σ) + i)、
Y[n,i] = (-1)^(n-1) n! (i-1)!/(n+i)/(n+i-2)!
とおく。
X[n,i] = Y[n,i] を示せば十分である。
n≦3 においては容易。
Yが漸化式
Y[n+1,i] = -(n+i)Y[n,i] + (i-1)Y[n, i-1]+ Y[n,i+1] 　(i≧2)、
Y[n+1,i] = -(n+i)Y[n,i] + (-1)^(n-1)(n-1)+ Y[n,i+1] (i=1)
を満たすことは容易。
σ∈S[n+1] に対し g(σ) をその固定点数とする。
まずn≧3、i≧2 において
X[n+1,i]
= Σ[σ∈S[n],k:1〜n+1] s((k n+1)σ)/(g((k n+1)σ)+i)
= Σ[σ∈S[n]]( -(n-f(σ))s(σ)/(f(σ)+i) - f(σ)s(σ)/(f(σ)+i-1) + s(σ)/(f(σ)+i+1) )
= Σ[σ∈S[n]]( -(n+i)s(σ)/(f(σ)+i) + (i-1)s(σ)/(f(σ)+i-1) + s(σ)/(f(σ)+i+1) )
= Σ[σ∈S[n]]( -(n+i)s(σ)/(f(σ)+i) + (i-1)s(σ)/(f(σ)+i-1) + s(σ)/(f(σ)+i+1) )
= -(n+i)X[n,i] + (i-1)X[n, i-1]+ X[n,i+1]
であり、n≧3、i=1において
X[n+1,1]
= Σ[σ∈S[n],k:1〜n+1] s((k n+1)σ)/(g((k n+1)σ)+1)
= Σ[σ∈S[n]]( -(n-f(σ))s(σ)/(f(σ)+1) + s(σ)/(f(σ)+2) ) - Σ[σ∈S[n], f(σ)≠0] f(σ)s(σ)/(f(σ))
= Σ[σ∈S[n]]( -(n-f(σ))s(σ)/(f(σ)+1) + s(σ)/(f(σ)+2) ) + Σ[σ∈S[n], f(σ)=0] s(σ)
= Σ[σ∈S[n]]( -(n-f(σ))s(σ)/(f(σ)+1) + s(σ)/(f(σ)+2) ) + (-1)^(n-1)(n-1)
= -(n+i)X[n,i] + (-1)^(n-1)(n-1)+ X[n,i+1]
である。