ディリクレ指標
である。ここに formula_4 とし、τ(n) はラマヌジャンのタウ函数とする。加えて、F が S の元で、χ が原始ディリクレ指標であれば、