ブルンの篩

ブルンの篩（ブルンのふるい、、ブルンの純正篩とも）は、数学の整数論における手法で、整数の集合から与えられた合同条件を満たすものを篩って残った集合の大きさを評価するもの。ヴィーゴ・ブルンによって創められた。
ブルンの篩は、包除原理を基礎としたものであることから、篩法では組合せ型（combinatorial type）に分類される。
定式化.
"A" を "x" 以下のいくつかの正の整数からなる集合、"P" を（必ずしも全てではない）素数の集合（"A" も "P" もいづれも元に重複はないものとする）とし、正の実数 "z" に対し "P"("z") を "P" の "z" 以下の元から成る集合とする。
"P" の元 "p" に対し "A""p" を "A" の要素で "p" の倍数でもある元の集合、更に "P" に含まれる異なる素数の積として表される任意の "d" に対し "A""d" を、"d" の全ての素数の約数 "p" に関する "A""p" の共通部分とする；A1は "A" 自身を表すものとする：
"A" の "P(z)" によって篩われて残った集合を "S" で表す：
評価例.
このとき以下が成り立つ：
ここで、
で、"b" は任意の正の整数である。
特に十分小さな "c" に対して "x" を log "z" < "c" log "x" / log log "x" を満たすように取れば以下が成り立つ：
応用.
現在は陳の定理等、これらより強い結果が知られている。