Convergence in density of a sequence (source code)

= Convergence in density of a sequence

A sequence $a_n$ converges in density to $a$ when, for every $\varepsilon>0$,
$$
\frac1N\left|\{1\leq n\leq N:|a_n-a|\geq\varepsilon\}\right|\longrightarrow0.
$$