>>344
>「さて， 1〜100 のいずれかをランダムに選ぶ.
> 例えばkが選ばれたとせよ.
> s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 」
>は、lemma（補題）として証明されるべきです

では、スレ主の主張
「さて， 1〜100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1である. 」
も、lemma（補題）として証明されるべき

数列を確率変数とした場合、非可測性によって
時枝の主張が証明できないというなら、
まったく同じ理由でスレ主の主張も証明できない