PROBLEM 6 (Bathtub principle): 
Assume that the space is R^d, equipped with 
Lebesgue measure.

(On a general metric space, the statement is more complicated.
To get the desired conclusion, we need that sets of positive
measure have subsets of arbitrarily small positive measure.
We also need that the measure of the space exceeds M.)