>({1,2,・・・,100},2^{1,2,・・・,100},(P:2^{1,2,・・・,100}→[0,1],P(f)=|f|/100))
これ、分かるかい？
自然数の順序の特性から、100列の決定番号のうち「自分以外のどれよりも大きい」ものは0個または1個。2個 n,m があったら n>m ∧ n<m となって矛盾、3個以上でも同様。
つまり {1,2,・・・,100} の中に「代表列を用いたカンニング」に失敗するハズレが1元以下、成功するアタリが99元以上入っている。つまりアタリ全体の集合fの濃度は99以上。
P(f)=|f|/100 よりアタリのどれかを引く確率は99/100以上。それが箱入り無数目の「勝つ確率」。

ここまで丁寧に解説すれば君にも理解できるだろ？　てかこれで分からなきゃ数学諦めな、絶対無理だから。