■考えてみた 楽しかった [etc]

「完全な」乱数があるとする。
話を簡単にするために、0か1を生成する、としておこう。
そして「無限に長い」ともする。

さて、この「無限に長い0と1の列」の中には、0がn個続く部分列が「必ず」存在する。
nが100だろうと1000だろうと、10億だろうと、必ずそんな部分列が存在するわけだ。

……何で読んだんだっけ?
数学の本とかかな?
なぜそう言えるのか? は書いてなかった様な。
で、考えてみた。
分かった。
楽しかった。