Set of Integers Bounded Below has Smallest Element

Also see

 * Set of Integers Bounded Above has Greatest Element
 * Definition:Ceiling Function