integral from 0 to infinity of e ^ (-x^2/2)dx = sqrt(pi over 2)