completely monotonic sequence, gamma function, psi function, polygamma function, harmonic number, inequality