＜英文資料＞
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
mathoverflow
Probabilities in a riddle involving axiom of choice asked Dec 9 '13 at 16:16 Denis

What we have then is this: For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here
isn't in the probabilistic sense), we win with probability at least (n-1)/n. That's right. But now the question is whether we can translate this to
a statement without the conditional "For each fixed opponent strategy". ? Alexander Pruss Dec 19 '13 at 15:05

我々の共通認識は以下：固定された出題実数列のそれぞれに対し、iが出題実数列と独立に一様分布で選ばれたなら（ここで言う”独立に”は確率論的な意味ではない）、
我々は少なくとも確率(n-1)/nで勝つ。それは正しい。
しかし今の問題は、これを"固定された出題実数列のそれぞれに対し"という条件無しの文章に置き換えられるか否かだ。

はい、Prussさん、箱入り無数目成立をしっかり認めてますね。
彼が問題にしているのは出題実数列が固定されていない場合だそうですが、それは箱入り無数目とは関係無いですね。
なぜなら箱入り無数目では下記のように数当てのルールが明記されてますから。

「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる. ←これが出題実数列の固定

今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
↑
出題者が先に出題実数列を固定し、その後に回答者の数当てが開始される、という順序がしっかり明記されてます。
よって、Prussさんは箱入り無数目成立を完全に認めたことになります。