Shannon's noiseless coding theorem