(\forall \varepsilon >0) (\exists n_0 \in N) (\forall n \in N)[n > n_0 \Longrightarrow |a_n - a|< f(\varepsilon)]