Lecture 3 Clausius Inequality