integrate e^(-x^2) from 0 to +infinity