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 .

.

But .

Do you see the contradiction?