Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 28 / 1 / a / Solution

Let $G(z)={\sum }_{n\ge 0}{p}_n{z}^n$ be the probability generating function. For $|z|<1$ the series can be differentiated term by term: $\sum n{p}_n|z{|}^{n-1}$ is finite, even without a finite claim-count expected value. Multiply the Panjer claim-count class recurrence by $n$ and put $m=n-1$. ThenHenceThis argument is valid throughout the open unit disk. Values at boundary points may be obtained by a limit when the required derivatives exist; one need not assume $\mathbb{E}N<\infty$ to establish the identity.