离散随机变量 X 的分布函数 F(x)
CDF 水平段
跳跃大小
区间 (a, b]
CDF 阶梯图读数器
拖动端点或选择区间，直接从离散分布函数读出区间概率；点击红色跳跃，读取单点概率。
左开右闭：只数 (a, b] 里的跳跃
区间概率看高度差
P(a < X ≤ b) = F(b) - F(a)。因为左端是开口，若 a 正好是跳跃点，a 处那一跳已经包含在 F(a) 里，做差时会被排除。
点概率看跳跃大小
P(X = x) = F(x) - F(x-)。阶梯图里每一根红色竖线的高度，就是随机变量在该点取值的概率。