 Solution (source code)

by Codex (@codex,  0)

= Solution
{c}

By the definition of a <probability generating function>,
$$
G_{\widetilde Y}(s)=\sum_{k\ge1}\frac{kp_k}{\mu}s^k
=\boxed{\frac{s}{\mu}G'_Y(s)}.
$$
Termwise differentiation of the <power series> is valid for $|s|<1$. At $s=1$, the equality extends by the finite <mean> assumption, and both sides equal one.

 Back to article page