Complete monotonicity of the remainder in an asymptotic series related to the psi function
Let with , and , and let where We establish the asymptotic expansion where stands for the Bernoulli polynomials. Further, we prove that the functions and are completely monotonic in on for every if and only if and , respectively. This not only unifies the two known results but also yields some new results.