Proving with Archimedean Property

Question

Prove that where

Proving with Density

Process

If we want to prove supremum

  1. Show that is an Upper Bound of
  2. Show that for all ‘s that are Upper Bound, then

Proof

  1. Prove upper bound For all , we have implying (since ) is increasing on Thus is an upper bound of
  2. Prove least upper bound Assume is an upper bound of To derive a contradiction, suppose Since is dense in , there exists such that Then , thus . (Hence for some ) This contradicts being an upper bound of Therefore, it must be that Therefore,