確率関数
定義：probability function
確率変数 $X$ が離散型で,可能な値が $x_1, x_2, \ldots$ であるとき,確率関数 $p(x)$ は以下のように定義される：\[p(x) = P(X = x)\]
確率関数
の性質：
$0 \leq p(x) \leq 1$ （すべての $x$ について）
$\sum_x p(x) = 1$
累積分布関数との関係：$F(x) = \sum_{t \leq x} p(t)$
INDEX
