“…Let X = {mx, m2, xx, ... , xN, ...} be any countable set. We provide X with a metric d as follows: (1) d{mi,rt}2) = 2, (2) d(xL,xt) = l íi.éj), It is easily seen that this actually defines a metric on X (we only have to worry about the triangle inequality). Now look at the compact set M = {mx , m2}.…”