現実ガーとかバカなこと言ってるID:l8DbFYL7のために、
もう少し明示的に書いてやるべきじゃないのか。
せっかく>>22,>>24で丁寧に設定してるのに、もったいない。


胴元とプレイヤーがいて、2つの封筒を使った賭けを行う。
ただし、いくつかの特殊なルールがあり、プレイヤーは予めそのルールを知っている。
まず、封筒の金額は必ず自然数値を取るというルールを、プレイヤーは予め知っている。
次に、封筒に入っている金額の組が{n,2n}である確率を p_n とするとき、
p_n は以下のルールを満たすことを、プレイヤーは予め知っている。
・ nが奇数のときは p_n ＝ 4^{-(n+1)/2}.
・ nが偶数のときは p_n ＝ (2/3)p_{n/2}.

これらのルールのもとで、賭けを行う。


このようなルールは現実でも設定可能である。なぜなら、
「このようなルールで賭けを行う」と宣言するだけでよいからｗ
また、このルールは現実世界でシミュレーション可能である。
なぜなら、宣言したこのルールに基づいて単にシミュレーションするだけでよいから。

で、このルールのもとでは、必ず交換期待値の方が引いた金額より大きくなる。
なぜそうなるかは、期待値を計算すりゃ分かる。というか、>>22,>>24で既に計算されている。