Bruno\], we have for any indices $i_1,\ldots,i_{m+1} \in \left\{ 1,\ldots, p \right\}$, and any $j $ in $ {\mathbb{N}}$, $$\begin{aligned}
                                \frac{\partial^{(m+1)}}{\prod_{l=1}^{m+1}\partial x_{i_l}} (\phi \circ f)(y_j) &= \phi'(f(y_j)) \frac{\partial^{(m+1)} f}{\prod_{l=1}^{m}\partial x_{i_l}}(y_j) + \sum_{q = 2}^{m+1}\sum_{\pi \in \Pi_q} \phi^{(q)}(f(y_j)) \prod_{B \in \pi} \frac{\partial^{|B|} f}{\prod_{l=1}^{m}\partial x_{i_l}}(x)\\
                                &\leq h(f(y_j))\frac{\partial^{(m+1)} f}{\prod_{l=1}^{m}\partial x_{i_l}}(y_j) + \sum_{q = 2}^{m+1}\sum_{\pi \in \Pi_q} \phi^{(q)}(f(y_j)) \prod_{B \in \pi} \frac{\partial^{|B|} f}{\prod_{l=1}^{m}\partial x_{i_l}}(x)\\
                                &= f(y_j) \frac{\frac{\partial^{(m+1)} f}{\prod_{l=1}^{m}\partial x_{i_l}}(y_j)}{1 + \sup_{f(y_j) \leq f(x) \leq 1}\|Q_{m+1}(x)\|_{\infty}}  + O(f(y_j))\\
                                &= O(f(y_j)),
                \end{aligned}$$ where the inequality follows from the construction of $\phi$. The third step follows using the definition of $h$ and the fact that, for any $q \geq 2$,

1.  Each partition of $\left\{ 1,\ldots,m+1 \right\}$ of size $q$ contains subsets of size at most $m$. Thus in the product, the terms $\partial^{|B|} f$ correspond to bounded derivatives of $f$ by the induction hypothesis
Bruno\ ], we have for any indices $ i_1,\ldots, i_{m+1 } \in \left\ { 1,\ldots, p \right\}$, and any $ j $ in $ { \mathbb{N}}$, $ $ \begin{aligned } 
                                 \frac{\partial^{(m+1)}}{\prod_{l=1}^{m+1}\partial x_{i_l } } (\phi \circ f)(y_j) & = \phi'(f(y_j) ) \frac{\partial^{(m+1) } f}{\prod_{l=1}^{m}\partial x_{i_l}}(y_j) + \sum_{q = 2}^{m+1}\sum_{\pi \in \Pi_q } \phi^{(q)}(f(y_j) ) \prod_{B \in \pi } \frac{\partial^{|B| } f}{\prod_{l=1}^{m}\partial x_{i_l}}(x)\\ 
                                 & \leq h(f(y_j))\frac{\partial^{(m+1) } f}{\prod_{l=1}^{m}\partial x_{i_l}}(y_j) + \sum_{q = 2}^{m+1}\sum_{\pi \in \Pi_q } \phi^{(q)}(f(y_j) ) \prod_{B \in \pi } \frac{\partial^{|B| } f}{\prod_{l=1}^{m}\partial x_{i_l}}(x)\\ 
                                 & = f(y_j) \frac{\frac{\partial^{(m+1) } f}{\prod_{l=1}^{m}\partial x_{i_l}}(y_j)}{1 + \sup_{f(y_j) \leq f(x) \leq 1}\|Q_{m+1}(x)\|_{\infty } }   + O(f(y_j))\\ 
                                 & = O(f(y_j) ), 
                 \end{aligned}$$ where the inequality follows from the structure of $ \phi$. The third gradation follows using the definition of $ h$ and the fact that, for any $ q \geq 2 $, 

 1.   Each division of $ \left\ { 1,\ldots, m+1 \right\}$ of size $ q$ contains subset of size at most $ m$. Thus in the intersection, the term $ \partial^{|B| } f$ correspond to jump derivatives of $ f$ by the induction guess
Brujo\], we have for any indicts $i_1,\ldots,i_{m+1} \in \leyr\{ 1,\ldotv, p \rifht\}$, and xny $j $ in $ {\mathbb{N}}$, $$\begin{aligied}
                                \frac{\pwrtial^{(m+1)}}{\peod_{l=1}^{n+1}\partial x_{i_l}} (\phi \cive f)(y_j) &= \phi'(y(y_o)) \frac{\partial^{(m+1)} n}{\prod_{l=1}^{m}\parthal x_{i_l}}(y_j) + \sum_{x = 2}^{m+1}\dum_{\pi \in \Pi_q} \phi^{(q)}(f(y_j)) \prod_{B \in \pi} \frwc{\partisl^{|H|} f}{\prod_{l=1}^{m}\partiwl x_{p_l}}(v)\\
                                &\leq h(r(y_j))\frac{\kartial^{(m+1)} f}{\prod_{l=1}^{m}\pattial x_{i_l}}(y_j) + \sum_{q = 2}^{m+1}\sum_{\pi \ln \Pl_q} \phi^{(q)}(f(y_j)) \prod_{B \ij \pi} \frac{\patfiaj^{|V|} f}{\prod_{l=1}^{m}\pargial x_{i_l}}(x)\\
                                &= f(y_j) \frac{\fraz{\partnal^{(m+1)} f}{\prod_{l=1}^{n}\pqrtldl x_{i_l}}(y_j)}{1 + \snp_{f(y_j) \jeq f(x) \leq 1}\|Q_{m+1}(x)\|_{\infty}}  + O(f(y_j))\\
                                &= O(f(y_j)),
                \end{aligged}$$ where tke inequality follows feom tve cmnstfyctkon oh $\pgi$. The thmrd step fomlows using the definition of $n$ wbd the fact tgat, fow wny $q \geq 2$,

1.  Each partition of $\left\{ 1,\ldotv,m+1 \dight\}$ of size $q$ containw subsets of size at lost $m$. Thts in the product, the terms $\partial^{|B|} f$ correspond to bkjndtd derixqtlves of $f$ by the induction hypothesis
Bruno\], we have for any indices $i_1,\ldots,i_{m+1} 1,\ldots, \right\}$, and $j $ in (\phi f)(y_j) &= \phi'(f(y_j)) f}{\prod_{l=1}^{m}\partial x_{i_l}}(y_j) + = 2}^{m+1}\sum_{\pi \in \Pi_q} \phi^{(q)}(f(y_j)) \prod_{B \pi} \frac{\partial^{|B|} f}{\prod_{l=1}^{m}\partial x_{i_l}}(x)\\ &\leq h(f(y_j))\frac{\partial^{(m+1)} f}{\prod_{l=1}^{m}\partial x_{i_l}}(y_j) + \sum_{q = 2}^{m+1}\sum_{\pi \in \phi^{(q)}(f(y_j)) \prod_{B \in \pi} \frac{\partial^{|B|} f}{\prod_{l=1}^{m}\partial x_{i_l}}(x)\\ &= f(y_j) \frac{\frac{\partial^{(m+1)} f}{\prod_{l=1}^{m}\partial x_{i_l}}(y_j)}{1 + \leq \leq + &= O(f(y_j)), \end{aligned}$$ where the inequality follows from the construction of $\phi$. The third step follows the definition of $h$ and the fact that, any $q \geq 2$, Each partition of $\left\{ 1,\ldots,m+1 of $q$ contains of at $m$. Thus in product, the terms $\partial^{|B|} f$ correspond to bounded derivatives of $f$ by the induction hypothesis
Bruno\], we have for any indices $i_1,\Ldots,i_{m+1} \in \lEft\{ 1,\ldOts, P \riGhT\}$, and Any $j $ In $ {\mathbb{N}}$, $$\begin{ALignEd}
                                \frac{\partial^{(m+1)}}{\prod_{l=1}^{m+1}\paRtial X_{i_L}} (\Phi \cIRc F)(y_j) &= \phI'(f(y_j)) \fraC{\PaRTIal^{(M+1)} f}{\PrOd_{l=1}^{M}\pARtIal x_{i_L}}(y_j) + \Sum_{q = 2}^{m+1}\suM_{\pi \in \Pi_q} \phI^{(q)}(f(Y_j)) \Prod_{B \in \pi} \fraC{\PaRtial^{|B|} f}{\proD_{l=1}^{m}\Partial x_{i_l}}(x)\\
                                &\lEq h(F(y_j))\fraC{\pArtIAl^{(m+1)} f}{\pRod_{L=1}^{m}\parTial x_{i_L}}(Y_j) + \sum_{q = 2}^{M+1}\sum_{\pi \in \PI_q} \PHi^{(q)}(f(y_j)) \PRod_{B \in \pI} \FRaC{\parTial^{|B|} f}{\prod_{l=1}^{m}\partiAL x_{I_L}}(x)\\
                                &= f(y_j) \frac{\frac{\pArtial^{(M+1)} f}{\PRoD_{L=1}^{M}\paRtiAl x_{i_l}}(y_j)}{1 + \sup_{F(y_J) \leq f(X) \Leq 1}\|Q_{m+1}(x)\|_{\iNFtY}}  + o(F(Y_j))\\
                                &= O(F(Y_j)),
                \end{aligned}$$ wHere the ineqUAliTy follOwS frOM the coNstruCtIOn oF $\phi$. The thirD steP follows uSing thE DefinitIOn of $h$ anD the faCt tHat, For aNY $q \GeQ 2$,

1.  EaCh PArtITiOn oF $\LefT\{ 1,\ldots,m+1 \rIgHt\}$ Of sizE $q$ coNTAINs suBseTs of Size aT most $m$. Thus in tHe pRoduCT, thE termS $\partIal^{|B|} F$ cOrresPond to BoundEd Derivatives of $f$ bY the Induction HypOtHesIs
Bruno\], we have for any i ndices $i_ 1,\ld ots ,i_ {m +1}\in\left\{ 1,\ldo t s, p  \right\}$, and any $j  $ in  $ {\ma t hb b{N}} $, $$\b e gi n { ali gn ed }
                        \f ra c{\partial^{ ( m+ 1)}}{\prod _{l =1}^{m+1}\pa rti al x_{ i_ l}} (\phi  \c irc f )(y_j) &= \ph i'(f(y_j) )\ frac{\ p artial^ { ( m+ 1)}f}{\prod_{l=1}^{m } \p a rtial x_{i_l}} (y_j)+\ su m _ {q= 2 }^{m+1}\su m_ {\pi\ in \Pi_ q }\ p h i^{ ( q)}(f(y_j)) \ prod_{B \in \pi } \fra c{ \pa r tial^{ |B|}f} { \pr od_{l=1}^{m }\pa rtial x_{ i_l}}( x )\\
                      &\l eq h(f ( y_ j)) \ fra c{\parti al ^{ (m+1) } f} { \ p r od_{ l=1 }^{m }\par tial x_{i_l}} (y_ j) + \su m_{q= 2}^ {m+1 }\ sum_{ \pi \i n \Pi _q } \phi^{(q)}(f( y_j) ) \prod_{ B \ in  \p i}  \fra c {\part ial ^{| B|} f}{ \prod_{ l =1} ^{ m } \ pa rtial x_{i_l}}(x)\ \                      &=  f( y_j) \ frac{ \fra c {\ partial^ {(m+1) }  f }{ \prod_{ l= 1}^{m} \p art ial  x_{i _ l}}( y_j)}{ 1 + \sup _{f(y _ j) \leq f(x) \ l eq 1}\|Q_{m+1 } (x ) \ |_ { \inf ty} }  + O(f(y_ j))\ \ 
                    &= O(f(y_j)),
            \end{aligned} $$ where t h e inequali ty f o ll o ws from the co nstru ction of $ \ phi$. Th e thi rd stepfollows u s i ng the d efi nit ion  of $ h$  and the fact t hat,  f or any$q\geq 2$ ,
1. Ea chpa rtition o f $\left \{  1 ,\ ld ots ,m+1\ right\}$  o f s iz e $ q$ co n tainssubse ts o fsi z e a t most$ m$ . Thus  i nthepro du ct, t he t e rms  $\part ial^{|B|}  f$ corr es po nd to b ounded deriva ti ves of $f$  b y t he ind u c tion hyp othesis
Bruno\], we_have for_any indices $i_1,\ldots,i_{m+1} \in_\left\{ 1,\ldots,_p_\right\}$, and_any_$j $ in_$ {\mathbb{N}}$, $$\begin{aligned}
_   _  __             __ ___    \frac{\partial^{(m+1)}}{\prod_{l=1}^{m+1}\partial_x_{i_l}} (\phi \circ f)(y_j) &=_\phi'(f(y_j)) \frac{\partial^{(m+1)}_f}{\prod_{l=1}^{m}\partial x_{i_l}}(y_j) + \sum_{q = 2}^{m+1}\sum_{\pi \in \Pi_q}_\phi^{(q)}(f(y_j))_\prod_{B \in \pi}_\frac{\partial^{|B|} f}{\prod_{l=1}^{m}\partial x_{i_l}}(x)\\
      _     _  ___   _     _    &\leq h(f(y_j))\frac{\partial^{(m+1)}_f}{\prod_{l=1}^{m}\partial x_{i_l}}(y_j) + \sum_{q = 2}^{m+1}\sum_{\pi \in_\Pi_q} \phi^{(q)}(f(y_j)) \prod_{B \in \pi} \frac{\partial^{|B|}_f}{\prod_{l=1}^{m}\partial x_{i_l}}(x)\\
   _ _    _  _ _  _     _  _    &= f(y_j)_\frac{\frac{\partial^{(m+1)}_f}{\prod_{l=1}^{m}\partial x_{i_l}}(y_j)}{1 +_\sup_{f(y_j)_\leq_f(x) \leq_1}\|Q_{m+1}(x)\|_{\infty}}  +_O(f(y_j))\\
_ __     __      _   __   _    _&= O(f(y_j)),
    _ _ _       \end{aligned}$$ where the inequality_follows from the construction of $\phi$._The third step follows_using the_definition_of $h$ and_the_fact that,_for any $q \geq 2$,

1.  Each_partition of_$\left\{ 1,\ldots,m+1 \right\}$ of size $q$_contains subsets of size_at_most $m$. Thus in the product,_the terms $\partial^{|B|} f$ correspond to_bounded derivatives of $f$ by_the_induction_hypothesis