Definition:Monotone Real Sequence