completely monotonic function, psi function, polygamma function, inequality, sum, equivalence