logarithmically completely monotonic function, completely monotonic function, gamma function, psi function, inequality