CDF[NormalDistribution[0, 1], 2.5]