確率関数
定義：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)$
Mathematics is the language with which God has written the universe.
