Limit to Infinity of Complementary Error Function

Theorem

 * $\ds \lim_{x \mathop \to \infty} \map \erfc x = 0$

where $\erfc$ denotes the complementary error function.