∫ e^(-ax^2) dx from -inf to +inf