We assume that $f$ is a function from $\mathbb { R } _ { + } ^ { * }$ to $\mathbb { R }$ of class $\mathcal { C } ^ { 1 }$ satisfying $$\left\{ \begin{array} { l } \lim _ { x \rightarrow 0 } f ( x ) = 0 \\ \exists C > 0 ; \forall x > 0 , \quad \left| f ^ { \prime } ( x ) \right| \leqslant C \frac { \mathrm { e } ^ { x / 2 } } { \sqrt { x } } \end{array} \right.$$ Using the result of Question 7, deduce that $f \in E$, where $E$ is the set of continuous functions $f$ from $\mathbb { R } _ { + } ^ { * }$ to $\mathbb { R }$ such that the integral $\int _ { 0 } ^ { + \infty } f ^ { 2 } ( t ) \frac { \mathrm { e } ^ { - t } } { t } \mathrm {~d} t$ converges.
We assume that $f$ is a function from $\mathbb { R } _ { + } ^ { * }$ to $\mathbb { R }$ of class $\mathcal { C } ^ { 1 }$ satisfying
$$\left\{ \begin{array} { l } \lim _ { x \rightarrow 0 } f ( x ) = 0 \\ \exists C > 0 ; \forall x > 0 , \quad \left| f ^ { \prime } ( x ) \right| \leqslant C \frac { \mathrm { e } ^ { x / 2 } } { \sqrt { x } } \end{array} \right.$$
Using the result of Question 7, deduce that $f \in E$, where $E$ is the set of continuous functions $f$ from $\mathbb { R } _ { + } ^ { * }$ to $\mathbb { R }$ such that the integral $\int _ { 0 } ^ { + \infty } f ^ { 2 } ( t ) \frac { \mathrm { e } ^ { - t } } { t } \mathrm {~d} t$ converges.