Set of Integers Bounded Above has Greatest Element

Also see

 * Set of Integers Bounded Below has Smallest Element
 * Definition:Floor Function