Hi. I fixed a critical typo in the slide (page 21, lecture3.pdf). The upper bound `d` is an element of `D` (previously was `X`). See the updated one.