確率変数formula_15の期待値は、次のように定義される。