ζ(s)=Σ1/n^s=Π1/(1-p^(-s))…(1)
logL(0,χ)=log(Π1/(1-χ(p)p^(-0))…(2)

(1)が正しいとすると(2)が収束して証明できてない。
(1)が正しくないとすると(2)に変形できなくて証明できてない。