1 - integrate from -infinity to (0.25) (1/((2*pi)^0.5)) * e^((-u^2)/2) du