Definition (Formal series). For $f:\mathbb{N}\to ℂ$, define a (formal) series

$$D_f(s)=\sum _{n=1}^{\infty }f(n)n^{-s}$$

for $s\in ℂ$.