Lebesgue integration
Finally we can define the conditional mutual information via Lebesgue integration: