I want to know the following is well-known or not:

Let X be a metric space with Hausdorff dimension \alpha. 
Then for any \beta < \alpha, 
X contains a closed subset whose Hausdorff dimension is \beta.