Set of Integers Bounded Below has Smallest Element