gamma function, psi function, complete monotonicity, logarithmically complete monotonicity, Binet's formula, remainder