>>301
Ｘの定義関数をＴとする。
∫＿［０，ｘ］Ｔ（ｘ）ｄｘ＝ｘ／２。
∫＿［０，ｘ］（Ｔ（ｘ）−１／２）ｄｘ＝０。
（１）積分して微分すると元に戻ることを使う。
（２）Ｍが任意の区間のとき∫＿Ｍｆ（ｘ）ｄｘ＝０なら
ｍ（｛ｘ｜ｆ（ｘ）≠０，ｘ∈Ｒ｝）＝０となることを使う。
（３）（２）と同じ証明法で積分を使わずに
ＨがＨ⊂Ａとなる閉集合のときｍ（Ａ）＝ｓｕｐ（ｍ（Ｈ））となることを使う。
（４）（３）で閉集合のかわりに開集合を使う。
開集合Ｋを（０，１）∩Ｘ⊂Ｋ⊂（０，１），１／２＜ｍ（Ｋ）＜１と
なるようにとるとＫ∩Ｘ＝（０，１）∩Ｘなので
１／２＝ｍ（（０，１）∩Ｘ）＝ｍ（Ｋ∩Ｘ）＝ｍ（Ｋ）／２＜１／２。