Limit of a function and limit of a domain sequence From Wikipedia:

For functions on the real line, one way to define the limit of a
  function is in terms of the limit of sequences. In this setting: $$
     \lim_{x\to a}f(x)=L $$ if and only if for all sequences $x_n$ converging to $a$ the sequence $f(x_n)$ converges to $L$.

I was considering the case when $\lim_{x\to a}f(x) \neq f(a)$ and $x_n=a$ for any $n \geq n_0$ and some $n_0 \in \mathbb{N}$. Isn't this case a counterexample to both "if" and "only if" parts? If yes, how shall the quote be modified?
Thanks and regards!
 A: It has been confirmed by someone who watches the page that this was an issue at some point, but that this section seems to have slipped through the cracks when the problem was corrected/definition changed to the usual non-Bourbaki definition (as was recently discussed in the comments in this answer, Bourbaki defines two different kinds of limits; one in which $x$/the sequence is allowed to take the value $a$, and a "punctured limit" in which it isn't. The latter definition is the standard in the U.S. and elsewhere). 
I've changed the sections in Wikipedia to specify that the sequence $x_n$ must have $x_n\neq a$ for all $n$, or equivalently that it must be a sequence in $X-\{a\}$ that converges to $a$.
Well spotted!
A: It is not a counterexample since you only found one sequence for which $lim_{n\to\infty}f(x_n)=f(a)$. You can construct a sequence as follows: since $lim_{x\to a}f(x)\ne f(a)$ then there is an $\epsilon>0$ such that for all $\delta>0$ there is an $x$ so that $|x-a|<\delta$ and $|f(x)-f(a)|\geq \epsilon$. Now, for every $n$ there is an $x_n$ so that $|x_n-a|<\frac 1 n$ so that $|f(x_n)-f(a)|\geq \epsilon$. It is easy to see that the sequence $x_n$ converges to $a$ and $lim_{n\to\infty} x_n\ne f(a)$.
