ディリクレ和関数の収束解析