ブルンの定理

ブルンの定理（ブルンのていり）は、ヴィーゴ・ブルンによって1919年に発見された、解析的整数論の定理である。 == 解説 == P(x) を p + 2 が素数であるような素数 p ≤ x の個数を表す関数としよう。