>>472
有限加法性しか保証されていないのに、
任意のnでμ(n)が0だからといって、
それらを加算個足したμ(N)が0だなんていったら
まずいですよね?