Renewal counting law of large numbers

If $0<\mathbb{E}{\xi }_1=1/\lambda <\infty$, then the strong law $S_n/n\to 1/\lambda$ and the inequalities $S_{N_t}\le t<S_{N_t+1}$ imply $N_t/t\to \lambda$ almost surely.