Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-219/4/f/solution

It holds generally whenever the posterior is well defined and the expectations exist. Bayes' theorem gives
Taking posterior expectations yields
which rearranges to the claimed evidence decomposition.

New to topics? Read the docs here!