13.2.4 随机变量的分布函数