カルノーサイクル
So more heat is given up to the cold reservoir than in the Carnot cycle. If we denote the entropies by for the two states, then the above inequality can be written as a decrease in the entropy