Definition:Increasing Real Sequence