For
a finite
integer set A and
a set of primes
P, the
sifting function counts elements of
A divisible by no prime in
P below
z:
S(A,P,z)=∣{a∈A:gcd(a,P(z))=1}∣,P(z)=∏p∈Pp≤zp.
For
a nonnegative weighted
sequence A=(an), the same notation
means S(A,P,z)=∑(n,P(z))=1an.
New to topics? Read the docs here!