Definition:Lower Bound of Real Sequence