Vector space/Set of sequences/R/Cauchy sequences as subspace/Exercise