Solution (source code)

= Solution

For a nonempty set $S\subset\mathbb R$ bounded above, $\sup S$ is its least upper bound: every $s\in S$ satisfies $s\leq\sup S$, and every $u<\sup S$ fails to be an upper bound.

A <sequence> $x_n$ converges to $x$ if for every $\varepsilon>0$ there is $N$ such that $n\geq N$ implies $|x_n-x|<\varepsilon$.