definite integral -infinity to infinity e^(-x2)