8.9 섀넌의 무잡음 부호화 정리와 평균 부호어 길이의 하한