The question is:

Let A = {p/q : p,q are positive integers and p < 25q }

Prove, using the definition of the supremum, that supA = 25.

I have proved that $\displaystyle \alpha$ = 25, which is an upper bound. What remains to prove is that it is the least upper bound and this is done on the answer sheet by reductio ad absurdum.

The answer sheet reads "Suppose that $\displaystyle \gamma$ is an upper bound of A and $\displaystyle \gamma$ < $\displaystyle \alpha$. By the Archimedian property of the rational numbers, there is an x= p/q $\displaystyle \in$ Q such that

$\displaystyle \gamma < x < 25 = \alpha$

Since we can assume both p and q are positive integers we see that x < 25 implies that p < 25q. Therefore x $\displaystyle \in$ A and x > $\displaystyle \gamma$. Therefore $\displaystyle \gamma$ is not an upper bound. Therefore, if $\displaystyle \gamma$ is an upper bound of A, then $\displaystyle \gamma \ge \alpha$. Thus $\displaystyle \alpha$ = 25 is the supremum."

I draw your attention to the inequality on a line on its own. (I couldn't seem to make the symbols bold.) Surely if $\displaystyle \gamma$ is an upper bound to A, it is by definition greater than all x in A?

A very confused mathematician.