离散型的边缘分布函数