If I use to show E is nonempty and bounded above, then E has a supremum. What would I use to show: If E is nonempty and bounded below, then E has an infimum. Would work? When I tried this the induction part doesn't make sense to me. For example by induction, then, there exists integers least in such that and to me that doesn't seem to make sense for something bounded below.