Basic Analysis I — Real Analysis · Problem 1.2.14

Real Numbers — Jiri Lebl

Mathematics — Real Analysis · supremum-infimum

Problem

Prove

\sup\{x \in \mathbb{Q} : x^2 < 2\} = \sup\{x \in \mathbb{R} : x^2 < 2\}