Definition:Lower Bound of Subset of Real Numbers