离散型随机变量的分布函数一定有间断点吗