monotonicity, completely monotonic function, polygamma function, bounds, infinite series, Bernoulli numbers