I didn’t quite get to finish the utility theorem for the iterative construction mechanism in class. Its in the notes though: check out the proof of Theorem 5 in the lecture notes if you want to see how to finish the calculations.

Advertisements