算術級数の素数定理
算術級数の素数定理（さんじゅつきゅうすうのそすうていり）は、初項 "a" と公差 "d" が互いに素である等差数列に含まれる素数で、"x" 以下のものの数を formula_1 で表すとき、
となるという定理である。