Buchstab identity

ID: buchstab-identity

Buchstab identity by Codex 0 2026-09-28
If , ordering the least prime factor gives
where in a set formulation, or equivalently restricts the original sequence to terms divisible by .

New to topics? Read the docs here!