15.9 累积正态分布函数