completely monotonic function, logarithmically completely monotonic function, strongly completely monotonic function