克劳修斯不等式

Clausius inequality