TeX джерело:
\exists M \gt 0 \forall n : |x_n \;-\;a|\; \lt M