>>838補足
箱の中身を確率変数とするか否か?
確率変数としてもよいですよ?ただし勝てない戦略になるだけです(^^
時枝の問いは「勝てる戦略はあるか?」です。
勝てない戦略の存在をいくら示しても、勝てる戦略の存在を否定することはできません(^^

ハーディーはクリティカルライン上にゼータゼロ点が無限に存在することを証明しました。
しかしクリティカルライン外にゼロ点が存在しないことの証明にはなっていませんでした。(^^