17/06/02 13:10:36.48 7mcaypyk.net
時枝問題では実数の無限列 s∈R^N から、同値類 R^N/～ の代表元
r∈R^N,s～r を特定して取り出すことができるとされている。
その方法は定かではないが、それを認めれば、s-r∈R^N は途中からは
すべて0の実数列。確実に0である箱を開けないまま推定したいが
開けない箱は1つだけ残せばいいのだから、開けない箱を少しずつ
残しながらほとんど開けていったとき、途中から、開けた部分が
すべて0になっていれば開けてない部分も0である蓋然性が高いと
推定されるというだけのことでしょ。