Basic Analysis I — Real Analysis · Problem 1.1.3

Real Numbers — Jiri Lebl

Mathematics — Real Analysis · ordered-fields

Problem

Prove part (vi) of Proposition 1.1.8. That is, let

x, y \in F

, where

F

is an ordered field, such that

0 < x < y

. Show that

x^2 < y^2