8.10 최적 부호어 길이의 존재 증명과 엔트로피와의 관계