limit (1/2) sqrt(pi) e^(-t^2) Erfi[t], t -> Infinity