There is a typo in Problem 1. The infinite descending sequence should of course read “$X \ni x_0 \ni x_1 \ni x_2 \ni \dots$“. Thanks to Eric Canton for pointing that out.