ルベーグ積分
Finally we can define the conditional mutual information via Lebesgue integration: