Pressure upper bound for Hausdorff dimension ($P({\gamma }_{\ast })=0⟹{\dim }_{H}F\le {\gamma }_{\ast }$)

Suppose shrinking interval covers of $F$ have length-power sums with logarithmic growth rate $P(\gamma )$, and $P$ is strictly decreasing with zero ${\gamma }_{\ast }$. For every $\gamma >{\gamma }_{\ast }$ those sums tend to zero exponentially. The definition of Hausdorff measure then gives ${\mathcal{H}}^{\gamma }(F)=0$, hence the displayed upper bound. A matching lower bound requires additional information and does not follow from this covering argument alone.