psi function, polygamma functions, complete monotonicity, strongly complete monotonicity, inequality