CDF[NormalDistribution[0, 1], x]