I am working on this problem, and I am not 100% sure with my argument. Could someone help me verify it?

Let (X,d) be a metric space. Suppose that is a sequence in X such that it has no convergent subsequence. Claim: is closed in X.

By assumption, for every sequence in A, does not converge. Otherwise, has a convergent subsequence. This implies that A is closed since I'll show that a set A is closed in (X,d) iff for every sequence in A if converges then .

First direction: Suppose A is closed. Let be a convergent sequence in A. Assume , then . But X-A is open and implies that there exists N such that if n>N, then . Contradicts to our assumption that is a sequence in A.

Second direction: I'll show X-A is open. Let be a sequence in X converging to . It suffices to show that there exists N such that if n>N, then . Assume for only finitely many times, then is a sequence in A. By hypothesis, . But . Contradiction. So, X-A is open, ie A is closed.