Definition:Infimum of Subset of Real Numbers