Complete monotonicity, completely monotonic degree, integral representations, and an inequality related to the exponential, trigamma, and modified Bessel functions

Abstract: In the paper, the authors verify the complete monotonicity of the difference $e^{1/t}-\psi'(t)$ on $(0,\infty)$, compute the completely monotonic degree and establish integral representations of the remainder of the Laurent series expansion of $e^{1/z}$, and derive an inequality which gives a lower bound for the first order modified Bessel function of the first kind.