Renewal function (source code)

= Renewal function
{title2=$m(t)$}

The renewal function is the expected number of renewals by time $t$:
$$
m(t)=\mathbb E N_t.
$$