Range of the Hausdorff dimension

OB1

My analysis textbook mentioned in passing that the range of the Hausdorff dimension is all nonnegative real numbers, i.e. for any nonnegative real number a, there's some compact subset of R^n whose Hausdorff dimension is exactly a. The problem is that I don't see how to prove this (and my oh-so-concise book doesn't bother proving it). Does anyone know how to go about proving this?

alekk

in [latex]\mathbb{R}^n[/latex], you will not find any set that has a dimension [latex]>n[/latex] !! To construct a set with Hausdorf dimension [latex]0 < d < n[/latex], it suffices to construct a set [latex]E[/latex] that has a [latex]d[/latex]-Hausdorf measure [latex]0 < \mathcal{H}^{(d)}(E) < \infty[/latex]. If you know the example of Cantor-like sets in [latex]\mathbb{R}[/latex], you can adapt the idea in [latex]\mathbb{R}^n[/latex].

OB1

So, suppose I start with the closed box in [tex] \mathbb{R}^{n}[/tex] and delete everything except the corners of the box with side length [tex] l [/tex], and then repeat this so the ith iteration leaves boxes of side length [tex] l^{i}[/tex]. So I have a Cantor-like set in [tex] \mathbb{R}^{n}[/tex]. I'm still a bit puzzled on finding the dimension of this object, any further hints?