a new proof, completely monotonic function, psi function, inequality