>>512
可算個の点に対する測度が定義できんだろ