completely monotonic function