Definition:Cauchy Sequence in Normed Vector Space