Definition:Unbounded Real Sequence