Dirichlet series
まずは、ディリクレ級数の形でデデキントゼータ関数を表し、その係数を求めてみる。