Let $x$ be any real number. Construct a sequence $x_n$ of rational numbers such that $x = \sup\{x_n : n \in \mathbb{N} \}.$ I was trying $x_n = [ 10^n x ]/10^n$, but is it actually monotone increasing? If so, how to prove it analytically?
Thanks for any help.