离散型随机变量分布函数的右连续性