ln ((1/sqrt(2*pi)) * (int from (-infty) to (-2*sqrt(3)) of (exp(-x^2/2)dx)))