We explore the classical Lech's inequality relating the Hilbert–Samuel multiplicity and
colength of an m-primary ideal in a Noetherian local ring (R, m). We prove optimal versions …