42.4 쿨백-라이블러 발산(KL Divergence)의 형식적 정의