Main Question or Discussion Point
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?