已知随机变量X的分布函数