$s + \frac{1}{n}$ is an upper bound for $A$ and $s - \frac{1}{n}$ is not an upper bound for $A$. Show $s = \sup A.$ 
Let $A \subset \mathbb R$ be non empty and bounded above, and let $s \in \mathbb R$ have the property that for all $n \in \mathbb N$, $s + \frac{1}{n}$ is an upper bound for $A$ and $s - \frac{1}{n}$ is not an upper bound for $A$. Show $s = \sup A.$

I am having difficulty proving this statement. It is intuitively clear to me that it holds true but have no idea where to begin proving this. Thanks in advance for any help.

Pure definitions.
The sup must exist as the reals have the least upper bound property.
$s - \frac 1n$ is not an upper bound for all $n$ so $\sup A > s + \frac 1n$ or all natural $n$.
All $s + \frac 1n$ is an upper bound so $\sup A \le s+ \frac 1n$ for all natural $n$.
So $s-\frac 1n < \sup A \le s+ \frac 1n$ for all natural $n$.
Now either $\sup A < s$ or $\sup A = s$ or $\sup A > s$.
If $\sup A < s$ then $s - \sup A > 0$ and there is an $n$ in $\mathbb N$ so that $\frac 1n < s - \sup A$ an $s < s - \frac 1n$ which is a contradiction.
If $\sup A > s$ then $\sup A - s > 0$ and there is an $n$ so that $\frac 1n < \sup A -s$ and $s > \sup a+\frac 1n$ which is a contradiction.
So $\sup A = s$.
Of course you may need to review why it is true that for all $x > 0$ theren is a natural $n$ so that $0 < \frac 1n < x$....
