 It is then shown that there exist finite lossless encoders for every sequence that achieve this bound as the length of the sequence grows to infinity.In this sense an algorithm based on this scheme produces asymptotically optimal encodings.This result can be proven more directly, as for example in notes by Peter Shor.