← The Clausius Inequality