(概率论与数理统计)随机变量的分布函数