さて、
ｐ進数x＝Σ(i=z~∞)a_i*p^i∈Qp (z∈Z)
のどの項が０か当てるのに、箱入り無数目の戦略が使える

ｐ進数100個を用意する、その中から１個を選ぶ
他の99個の最小項の次数中の、最小値z_minを求める
z_min+1番目の項が０だと答えれば、確率99/100で当たる

この問題は、全く選択公理を用いない