$\lim_{z\to\infty}\operatorname{erfc}z=0$