（X,d）：距離空間
μ:（X,M）上の測度で、任意のA∈Mに対しμ（A）=μ（B）となるボレル集合B∈Mが存在
μ（X）<∞
とする。このとき任意のA∈Mに対し
μ（A）=inf｛μ（U）:UはAを含む開集合｝となることはどうやって示せばいぃんでしょう？