离散型随机变量分布函数计算公式