\int_{x=0}^{5} exp(-0.5*((x*s-3*s)/0.7*s)^2)/(0.7*s*sqrt(2*pi))dx = 51000