Elementary renewal theorem (source code)

= Elementary renewal theorem

For strictly positive independent identically distributed interarrival times of finite mean $\mu$,
$$
\lim_{t\to\infty}\frac{\mathbb EN_t}{t}=\frac1\mu.
$$