Erlang induction step

By direct computation with PDFs and convolution, derive the formula:

Observation: By repeatedly applying the above formula, we see that: