logarithmically completely monotonic function, gamma function, inequality