Dejemos que $A=\left\{\dfrac{n}{2n+1}:n \in \mathbb{N}\right\}$ . Quiero demostrar que $supA=\dfrac{1}{2}$ por lo que tengo que demostrar que $$\forall\epsilon\gt0 \exists a\in A:a\gt\dfrac{1}{2}-\epsilon$$
Entonces, supongamos por contradicción que $$\exists \epsilon\gt0 \forall a\in A:a\le\dfrac{1}{2}-\epsilon$$
lo que significa esencialmente que $$n \le ( \dfrac{1}{\epsilon}-1)\cdot \dfrac{1}{2}$$ y esto no es posible ya que los números naturales no están acotados por arriba.
¿Estoy en lo cierto? Esto parece demasiado fácil - podría haber introducido cualquier otro número (más pequeño que $\frac{1}{2}$ ) y demostrar lo mismo.