>>407
あなた、大外しですな（＾＾
あなた、無限の理解が浅い

>B_n (n≧1) は単調減少な集合の列で、

そこ（”単調減少”）アウトだよ
（>>406より）「ここで、{s_ M +1，s_ M +2，・・・} の集合の濃度は可算無限である（i.e. 集合の濃度に変化なし）」
と書いてあるとおり