Solution (source code)

= Solution

Let $q=1-p$. By the definition of a <probability generating function> and the <geometric series>,
$$
G_N(s)=\mathbb E[s^N]=\sum_{n=0}^{\infty}pq^ns^n=\boxed{\frac{p}{1-qs}}.
$$
The series converges absolutely when $|qs|<1$, equivalently $|s|<1/(1-p)$.