An infinitely differentiable function $f$ defined on an interval $I$ is said to be a completely monotonic function on $I$ if it satisfies \begin{equation} (-1)^kf^{(k)}(x)\ge0 \end{equation} for all $k\in\{0\}\cup\mathbb{N}$ on $I$.
