$\lim_{z\to\infty}\operatorname{erf}z=1,$