First, you must do away with thinking of a general metric space as the real numbers alone. That is, a decreasing sequence of points has no general meaning.
Now suppose that clearly .
As you noted, by density there is a sequence of distinct points .
Do you see the contradiction?