>>4
要するに非ボレルなルベーグ零集合の存在証明だな
俺も証明はわからんけど解析の教科書に載ってるんじゃね