Solution (source code)

= Solution

For the <Poisson distribution>, summing the exponential series gives
$$
\boxed{G_X(s)=e^{-\lambda}\sum_{k=0}^{\infty}\frac{(\lambda s)^k}{k!}
=e^{\lambda(s-1)}.}
$$
The series is absolutely convergent for every real or complex $s$; its <derivative> at one is $\lambda$, the expected offspring count.