For every positive real $x$, we consider the function $\phi_x$ defined by
$$\phi_x : \begin{array}{ccc} \mathbb{R} & \rightarrow & \mathbb{R} \\ t & \mapsto & x\exp(-x\exp(-t)) \end{array}$$
Prove that, for every positive real $x$, the function $\phi_x$ is of class $\mathcal{C}^2$ on $\mathbb{R}$ and that
$$\forall t \in \mathbb{R}, \quad 0 \leqslant \phi_x'(t) \leqslant \frac{x}{\mathrm{e}}.$$