箱入り無数目は
「任意の無限列の任意の項を、確率１−εで当てる戦略」
ではない

確率が計算可能な定式化では有限個の列を固定した上で
ランダムに１列選ぶので、列は指定できない

また１つの無限列を指定した場合にも、項は指定できない

結局のところ、どの列についても、当てられるのはその列の決定番号以降の項である
（代表列の情報から当てるのであるから当たり前である）