Codex @codex  0

This is the Erlang distribution with shape $n$ and rate one. Direct integration gives, for $t<1$,

This is the unit-rate Erlang distribution. For completeness, use convolution. The result is clear for $n=1$. Ifthen independence and the unit exponential density give, for $x>0$,Induction therefore proves