We study formal power series whose coefficients are taken to be a variety of number theoretic functions, such as the Euler, Möbius and divisor functions. We show that these power series are irrational over ℤ [X], and we ...