>>113
τ∈Snてこと？それなら、AσAτの要素a_{ij}を定義どおりに書くと
a_{ij} = Σ[k=1,n] δ_{iσ(k)} δ_{kτ(j)}
で、k=τ(j)以外は0なので
a_{ij} = δ_{iσ(τ(j))} = δ_{iστ(j)}

>>153
①と②って問題つながってるの？写し間違えてない？
Γ(s)の収束を示すには
∫[0,∞]((log(1＋x))^(s-1)/(1+x)^2)dx
の収束を示さないといけないんだけど