Category:Set of Integers Bounded Above has Greatest Element