1: \begin{proof}

2: This result  seems surprising at first, since, according to Lemma~\ref{lem:F}, we only have a bound of $\sim h^{-2/3}$ on the norm of $\dot{f(P)}$. The key observation is that $\dot{f(P)}$ is (at least heuristically) spectrally supported on the support of $f'$, which is on the interval $[0, 2h^{2/3}]$, and that means that composing with $P$ gains us an additional factor of $h^{2/3}$. 

3: 

4: To see this rigorously, we note that by commuting operators in the first line of \eqref{ddotfP}, we

5: obtain an expansion for $\dot{f(P)}$ of the form

6: $$

7: \dot{f(P)} = \dot P f'(P) + [\dot P, P] f''(P) + \text{ a term in } \mathcal{O}^0.

8: $$

9: Then composing with $P$ on the right, and inserting a smooth compactly supported function $g(P)$ of $P$ where $g$  is independent of $h$ and $g = 1$ on the support of $f$, we can express 

10: \begin{equation}

11: \dot{f(P)}P = \dot P  g(P) f'(P) P + [\dot P, P] g(P) f''(P) P + \text{ a term in } \mathcal{O}^0.

12: \label{fPP}\end{equation}

13: Notice that $f'(P) P$ is a uniformly bounded family of operators, as the function $f'(t) t$ is uniformly bounded in $h$. Similarly, $f''(P) P$ is bounded in operator norm by $C h^{-2/3}$. Notice that in both of these statements, we gain $h^{2/3}$ over a naive application of Lemma~\ref{lem:F}. 

14: 

15: On the other hand, $\dot P g(P)$  is a uniformly bounded operator, as

16: we can write it as the composition of $\dot P (2-P)^{-1}$ and $(2-P) g(P)$. This first is bounded using the arguments above (as it has differential order $0$) and the second is bounded by $\sup_{t \in \RR} |(2-t) g(t)| < \infty$. Similarly, $[\dot P, P] g(P)$ is $O(h)$ as a bounded operator on $L^2(\dOmega)$. Finally, the third term on the RHS of \eqref{fPP} is $O(1)$ in operator norm by Lemma~\ref{lem:F}. Putting these statements together we see that $\dot{f(P)}$ is $O(1)$ in operator norm. 

17: \end{proof}

18: