TeX-källa:
d_Y(f(p),f(p_n))\ge\varepsilon