TeX source:
a_n < \frac{1}{1000}=\varepsilon