N の有限部分集合上で 0, 無限集合上で 1 になるような
有限加法的測度があるかってことか。
あるような気がするな。