Frostman lemma

Frostman's lemma provides a convenient tool for estimating the Hausdorff dimension of sets in mathematics, and more specifically, in the theory of fractal dimensions.