Clausius inequality