Theorem (Euler product). Assuming that:

Then
Df(s)=∏p(1+f(p)p2+f(p2)p2s+⋯),

for Re⁡(s)>1. Furthermore, if f is completely multiplicative, then

Df(s)=∏p(1−f(p)ps)−1,

for Re⁡(s)>1.