Kraft–McMillan inequality