Proving that without the axiom of choice there is a set with an accumulation point that isn'tthe limit of a convergeant sequence I've been reading the simple parts of Thomas Jech's book on the Axiom of Choice and came across the following proof on page 141. The proof assumes a mathematical model without the axiom of choice.

Lemma. $X$ is D-finite if and only if $X$ does not have a countable subset. 
Theorem. There is a set $S$ of real numbers and a real number $a \not \in S$ such that a is in the closure of $S$ but there is no sequence $(x_n)^{\infty}_{n=0} \subset S$ such that $(x_n)^{\infty}_{n=0} \longrightarrow a$. 
Proof. Let $D$ be a D-finite infinite set of reals. We claim that the set $D$ must have an accumulation point. To prove this claim suppose that all $d \in D$ are not accumulation points, then let $\{I_n:n=0,1,...\}$ be a fixed enumeration of open intervals with rational endpoints. Assign the least $n$ such that $I_n \cap D={d}$ to each $d \in D$. This makes $D$ countable and by the above lemma gives us our contradiction. So $D$ has an accumulation point $a$. Let $S=D \setminus\{a\}$ and since $S$ is D-finite, every convergent sequence in $S$ is eventually constant.

Could somebody explain this proof? Why is the last sentence true/ Why does this mean every convergent sequence is eventually constant?
I think the following theorem is important

Theorem. There is a model of ZF which has an infinite set of real numbers without a countable subset

 A: Let $(x_n)$ a sequence in $S$ with $x_n\to x$. If the sequence is not eventually constant, we can define $y_n=x_m$ where $m$ is minimal with $x_m\ne x$ and $|x_m-x|<|y_k-x|$ for all $k<n$. Then $y_n\to x$ as well and $\{\,y_n\mid n\in\mathbb N\,\}$ is a countable subset of $S$. By the lemma $S$ is not D-finite.
A: Of particular importance is that for any D-finite set $F$, every function $\mathbb{N} \to F$ can take on only finitely many values.  

If $f: \mathbb{N} \to F$ took only infinitely many different values then one could define $g : \mathbb{N} \to \mathbb{N}$ recursively according to $$g ( n ) = \min \{ k \in \mathbb{N} : f(k) \notin \{ f(g(0)) , \ldots , f(g(n-1)) \}\;\},$$
   and then the composition $f \circ g : \mathbb{N} \to F$ would be one-to-one, contradicting that $F$ has no countably infinite subset!

Using this it is fairly straightforward to show that any convergent sequence in a D-finite set of reals is eventually constant.
A: One point which is somewhat amiss amongst the answers is this:
If $D$ is a Dedekind-finite set and $S\subseteq D$, then $S$ is Dedekind-finite as well. The proof is simple from the lemma cited in your question. If $S$ was Dedekind-infinite, then it would have a countably infinite subset, and so would $D$ -- a contradiction.
Now, since $S$ is Dedekind-finite every countable subset is a finite subset. The range of a sequence is countable, by definition, and therefore finite. The only sequences with finite range which converge are those which are eventually constant.
A: In this answer I'm going to use "infinite" to mean "not finite" (i.e. does not biject with any finite ordinal) and "countably infinite" to mean "in bijection with $\mathbb N$" (so in particular, $D$-finite sets are not countably infinite, even if they inject into $\mathbb N$). These usages are probably standard, but it's often easy to forget when working without Choice that a few distinctions that didn't matter now do, so the definitions sometimes have to be revisited.
The idea is that if the set of points that the sequence visited were finite, then since the sequence converges it would have to settle down to only one of them, so the sequence is eventually constant. For example, take half the smallest distance between two points in the finite set, and the sequence is eventually within that distance of its limit, so it can't jump between points anymore.
If, on the other hand, the sequence visits infinitely many points, then they form a countable subset of the set $D$, and this violates $D$-finiteness.
The tricky part is arguing "infinite $\implies$ countably infinite", since after all $D$ itself is infinite but not countably so! However, the range of the sequence can be well-ordered by "which element did I visit first", so then it must biject with an ordinal, and the ordinals don't exhibit pathological behaviour like being simultaneously infinite and $D$-finite.
