Definition (Dirichlet convolution). For f,g:ℕ→ℂ, we define
where ∑d|n means sum over the divisors of n.