If there is a measure μ defined on Borel subsets of a metric space X such that μ(X) > 0 and μ(B(x, r)) ≤ r<sup>s</sup> holds for some constant s > 0 and for every ball B(x, r) in X, then dim<sub>Haus</sub>(X) ≥ s. A partial converse is provided by Frostman's lemma. | If there is a measure μ defined on Borel subsets of a metric space X such that μ(X) > 0 and μ(B(x, r)) ≤ r<sup>s</sup> holds for some constant s > 0 and for every ball B(x, r) in X, then dim<sub>Haus</sub>(X) ≥ s. A partial converse is provided by Frostman's lemma. |