Identity for Dirichlet convolution (source code)

= Identity for Dirichlet convolution
{title2=$\varepsilon$}

The identity for <Dirichlet convolution> is $\varepsilon(1)=1$ and $\varepsilon(n)=0$ for $n>1$. It satisfies $f*\varepsilon=f$ for every <arithmetic function> $f$.