From 6ffcf9e50d8ec8be31b6702a2966e038b3d7fc89 Mon Sep 17 00:00:00 2001 From: Zheyuan Wu <60459821+Trance-0@users.noreply.github.com> Date: Sun, 8 Dec 2024 14:38:45 -0600 Subject: [PATCH] check errors --- pages/Math4111/Math4111_L3.md | 2 +- pages/Math4111/Math4111_L4.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pages/Math4111/Math4111_L3.md b/pages/Math4111/Math4111_L3.md index 35a71e8..bcc2812 100644 --- a/pages/Math4111/Math4111_L3.md +++ b/pages/Math4111/Math4111_L3.md @@ -122,4 +122,4 @@ We define $\mathbb{R}$ to be the unique ordered field with $LUBP$. (The existenc #### Theorem 1.20 1. (Archimedean property) If $x,y\in \mathbb{R}$ and $x>0$, then $\exists n\in \mathbb{N}$ such that $nx>y$. -2. ($\mathbb{Q}$ is dense in $\mathbb{R}$) If $x,y\in \mathbb{R}$ and $x