Correction for HW3

Found the following typos in HW3.

Problem 4: "... if X is finite ..." should be replaced to "... if |X| is finite ...",
where |X| represents a cardinality of X.

Thanks to Kobayashi and Kubota for pointing it out.