lim x^2 *erfc(x) as x->\infty