Definition:Convergent Sequence in Normed Vector Space