I asked this question on Math Stackexchange, but I didn't get an answer:
I came upon the following specific property for a (complete) normed space $X$, and I am looking for a characterization of the normed spaces where it holds true:
If a sequence $x_n$ in $X$ satisfies $\displaystyle \lim_{n\to\infty}(||x_n+y||-||x_n||)=||y||$ for all $y\in X$, then $\displaystyle \lim_{n\to\infty}x_n=0$.
This is not true in $l_1$; take $x_n=e_n$, the unit vector basis. The same counterexample doesn't seem to work in $c_0$, $l_\infty$, and $l_p$ for $p\neq 1$. Is this actually true in these spaces, or is this property, in fact, never satisfied? I don't know if it makes a difference if we additionally restrict this property to $(x_n)_n$ bounded.