[math-fun] Metric space question