解析学（3年生）で出た宿題が難し過ぎるんだ😭
頭の良いドルアンなら誰か解けるはずなんだ😭

問：実数体Rの開区間の可算合併全体をO、Oが生成するσ加法族をBとするとき、
Bに属さないRの部分集合Aで次の性質を持つものが存在することを示せ。
性質「どんな正数εに対しても総長がε以下のOの元でAを被覆できる」
ただしツォルンの補題を用いて良い。