13/sqrt(4 π)*integral_(-∞)^∞ e^(-x^2)dx