Solution (source code)

= Solution

Let $w(\theta)=\pi(\theta)/\mu(\theta)$ be the <importance weight>. The two normalized densities give
$$
\log w(\theta)
=-\lambda_2\{Z(\theta)-F(\theta)\}
-\widetilde Z(\lambda)+\widetilde F(\lambda).
$$
Since $|F-Z|<C$, there is a finite constant $M$ such that $w(\theta)\leq M$ everywhere. The <Independence Metropolis–Hastings algorithm> has an accepted transition density satisfying
$$
\mu(y)\min\left\{1,\frac{w(y)}{w(x)}\right\}
\geq\frac1M\mu(y)w(y)
=\frac1M\pi(y).
$$
Consequently the whole state space is a <small set>, with the one-step <minorization condition> $K(x,\mathord\cdot)\geq M^{-1}\pi(\mathord\cdot)$. Iterating this <Doeblin condition> gives uniform geometric convergence in <total variation distance>, so the chain is geometrically ergodic.