ここでformula_2はメビウス関数、formula_3はガウス記号であり、和はformula_4以下のすべての素数の積 "p" のすべての正の約数 "d" を動く。