Set of Integers Bounded Above has Greatest Element