1: \begin{proof}
2: We have
3: \begin{eqnarray*}
4: & & \left|\int (P^{n} \eta)(
5: \mathbf{E}) \xi( \mathbf{E}) \mu( \mathrm{d}\mathbf{E}) -
6: \int (P^{n}\eta)( \mathbf{E}) \mu(\mathrm{d}\mathbf{E}) \int \xi( \mathbf{E}) \mu(
7: \mathrm{d} \mathbf{E}) \right| \\
8: & = & \left| \int \xi (\mathbf{E}) \left( (P^{n}\eta)(\mathbf{E}) -
9: \int (P^{n}\eta)(\mathbf{Z}) \mu(\mathrm{d}\mathbf{Z}) \right)
10: \mu( \mathrm{d} \mathbf{E}) \right|\\
11: %& \le & \|\xi\|_{L^{\infty}} \ \int \left( \int |\zeta| \ |\delta_{\mathbf{x}}P^t - \mu P^t| \right)\ \mu( \mathrm{d} \mathbf{x}) \\
12: & \le & \|\xi\|_{L^{\infty}} \ \|\eta\|_{L^{\infty}} \ \int \|\delta_{\mathbf{E}}P^n - \mu P^n\|_{TV} \
13: \mu( \mathrm{d} \mathbf{E}) \,.
14: %& \leq & \|\xi\|_{L^{\infty}} \ \|\zeta\|_{L^{\infty}} \left ( \int \|
15: % \delta_{\mathbf{x}} - \pi \|_{TV} \mu( \mathrm{d} \mathbf{x}) + \|
16: % \mu P^{t} - \pi \|_{TV} \right ) \\
17: %&=& \|\xi\|_{L^{\infty}} \ \|\zeta\|_{L^{\infty}} \|\delta_{\mathbf{x}}P^t - \mu P^t\|_{TV} \ = \ o \left(\frac{1}{t^{2-\gamma}} \right) \,.
18: \end{eqnarray*}
19: Since {\bf (A1), (A2), (N1)} and
20: {\bf (N2)} hold, it follows from Corollary \ref{rigorous2} that
21: $$
22: \|\delta_{\mathbf{E}}P^n - \mu P^n\|_{TV} \leq C (
23: \mathbf{E}_{\mathbf{E}}[ \tau_{\mathfrak{C}}^{\beta-\epsilon/2}] +
24: \mathbf{E}_{\mu}[ \tau_{\mathfrak{C}}^{\beta - \epsilon/2}]
25: )n^{\epsilon/2-\beta} \,.
26: $$
27: We have $\mathbf{E}_{\mu}[ \tau_{\mathfrak{C}}^{\beta- \epsilon/2}] < \infty$ and
28: $$
29: \int \mathbf{E}_{\mathbf{E}}[ \tau_{\mathfrak{C}}^{\beta - \epsilon/2}] \mu(
30: \mathrm{d} \mathbf{E} ) = \mathbf{E}_{\mu}[
31: \tau_{\mathfrak{C}}^{\beta - \epsilon/2}] < \infty \,.
32: $$
33: Therefore,
34: $$
35: \|\delta_{\mathbf{E}}P^n - \mu P^n\|_{TV} \leq O(1) \cdot
36: n^{\epsilon/2 -\beta} = o( n^{\epsilon - \beta}) \,.
37: $$
38: This completes the proof.
39: \end{proof}
40: