  It was empirically observed that in any closed cycle, whose sole result is the generation of heats, Qi,  in heat baths at temperatures Ti, (requiring work W=∑i Qi  to be performed), the Clausius inequality: