46439864*(integrate ((1/((2pi)^0.5))*e^(-0.5x*x)) from (70/15) to inf)