En efecto, si se consideran éstas como funciones generadoras de manera formal, la condición necesaria y suficiente para la existencia del producto de Euler equivalente a la serie es que "a"("n") sea multiplicativa, o sea, que "a"("n") sea igual al producto de "a"("p") para los distintos factores primos "p" que componen "n".