limit(1/2 sqrt(π) e^(-x^2) erfi(x),x,inf)