Theorem (Euler product). Assuming that:
for Re(s)>1. Furthermore, if f is completely multiplicative, then
for Re(s)>1.