Let $a \in E$ and let $U$ be an open set of $E$ containing $a$. Let $f : U \rightarrow E$ be an application of class $\mathscr{C}^1$ on $U$ such that $df(a) = \operatorname{Id}_E$. Let $V$ be a convex open set of $E$ and $h$ a function of class $\mathscr{C}^1$ from $V$ to $E$. Suppose that there exists a real number $C \geqslant 0$ such that for all $x \in V$, $\|dh(x)\| \leqslant C$. Show that for all $x_1$ and $x_2$ in $V$, we have $\left\|h(x_2) - h(x_1)\right\| \leqslant C \left\|x_2 - x_1\right\|$.
Let $a \in E$ and let $U$ be an open set of $E$ containing $a$. Let $f : U \rightarrow E$ be an application of class $\mathscr{C}^1$ on $U$ such that $df(a) = \operatorname{Id}_E$.
Let $V$ be a convex open set of $E$ and $h$ a function of class $\mathscr{C}^1$ from $V$ to $E$. Suppose that there exists a real number $C \geqslant 0$ such that for all $x \in V$, $\|dh(x)\| \leqslant C$. Show that for all $x_1$ and $x_2$ in $V$, we have $\left\|h(x_2) - h(x_1)\right\| \leqslant C \left\|x_2 - x_1\right\|$.