Definition:Normed Vector Space of Bounded Sequences