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.