integral of exp(-x^2) dx from 0 to infinity