To each function $f \in E$, we associate the function $U ( f )$ defined for all $x > 0$ by $U ( f ) ( x ) = \int _ { 0 } ^ { + \infty } \left( \mathrm { e } ^ { \min ( x , t ) } - 1 \right) f ( t ) \frac { \mathrm { e } ^ { - t } } { t } \mathrm {~d} t$. It has been shown that $| U ( f ) ( x ) | \leqslant 4 \| f \| \frac { \sqrt { x } \mathrm { e } ^ { x / 2 } } { 1 + x }$ for all $x > 0$. Deduce that
$$\| U ( f ) \| \leqslant 4 \| f \|.$$