随机变量X的分布函数F（X）是X的非减函数。