1: \begin{proof}

2: Let us first remark that the formal expansions are straightforward: \[\frac1{1-X}=1+\O(X)\qquad \text{ and }\qquad\frac1{1-X}=1+X+\O(X^2)\qquad \text{ for }\qquad |X|<1.\]

3: 

4: The rigorous estimate is obtained thanks to Lemma~\ref{lem:f/h}, applied to the identities

5: \[   \frac1{h_1} f - f \ = \ \frac{\epsilon\zeta}{h_1}f \ , \quad \text{ and } \quad \frac1{h_1} f -(1+\epsilon\zeta)f \ = \ \frac{\epsilon^2\zeta^2}{h_1}f.\]

6: 

7: Indeed, one has for $s\geq s_0>1/2$,

8: \[ \big\vert \frac1{h_1} f - f\big\vert_{H^{\bar s}} \ = \ \big\vert \frac{\epsilon\zeta}{h_1}f \big\vert_{H^{\bar s}} \ \lesssim \ \big\vert \epsilon\zeta \big\vert_{H^{\bar s}} \big\vert\frac{1}{h_1}f \big\vert_{H^{\bar s}} \ \leq \  \epsilon C(h^{-1},\epsilon\big\vert  \zeta\big\vert_{H^{\bar s}})\big\vert f \big\vert_{H^{\bar s}} ,\]

9: where we used Lemmata~\ref{Moser} and~\ref{lem:f/h}.

10: The second estimate, concerning $\big\vert \frac1{h_1} f -(1+\epsilon\zeta)f\big\vert_{H^{\bar s}} $, is obtained identically.

11: \end{proof}

12: