integrate e^(-ax^2) from 0 to infinity