>>172

>>171 の言ってることはおかしいよ。
前半がＯＫならジョルダン測度だって外測度のinfで十分。
つまり、ボレル可測集合のかわりに区間を含む最小の有限加法族を考えればいい。