以下是离散随机变量X的累积分布函数