\input amstex

$$\forall \varepsilon>0\ \exists n_0\in\hbox{\pmb N}\ \forall n\in\hbox{\pmb N}\quad n>n_0\;\Longrightarrow\; |a_n-a|<\varepsilon$$
\bye