A condition for greatest lower bound - Intuition In page 2 of this lecture note, it states that one of the conditions for $w = \inf A$ is that $\forall r \in \mathbb{R}, r>w \rightarrow \exists a \in A, a<r$.
I totally understand its contrapositive: if $s$ is a lower bound for A, then $w\geq s$.
However, I don't get the intuition behind the condition I stated first. What does having an element in set $A$ that is smaller than a number bigger than $\inf A$ have to do with the "greatest" lower bound?

Recall that if $A$ is a nonempty subset of $\mathbb{R}$ and it is bounded below, then its infimum, say, $w \equiv \inf A$ exists in $\mathbb{R}$. The infimum of $A$ must satisfy two conditions:

*

*It is no larger than any given element of $A$, i.e., it is a lower bound of $A$:
$$\forall x(x \in A \implies w \leq x)$$

*It is the greatest lower bound of $A$, meaning no other real number $r$ exceeding $w$ can be a lower bound, so if $r$ is a lower bound of $A$, then $r \leq w$.

So given $r > w$, if we couldn't find some $x \in A$ with the property that $w \leq x < r$, then either $x < w$ for all $x \in A$, contrary to our choice of $w$ (indeed, contrary to assumption 1); or $w < r \leq x$, for all $x \in A$, meaning $r$ is a lower bound of $A$ which is larger than $w$, contrary to our second assumption. We are thus forced to conclude that if $r > w$, we can always find some $x \in A$ such that $w \leq x < r$, as desired.
