Clausius Inequality

Edited