---

Step * of Lemma req-iff-rabs-rleq

∀x,y:ℝ.  (x = y ⇐⇒ ∀m:ℕ+. (|x - y| ≤ (r1/r(m))))
BY
{ Auto }

1
1. x : ℝ
2. y : ℝ
3. x = y
4. m : ℕ+
⊢ |x - y| ≤ (r1/r(m))

2
1. x : ℝ
2. y : ℝ
3. ∀m:ℕ+. (|x - y| ≤ (r1/r(m)))
⊢ x = y

---

Latex:

---

Latex:
\mforall{}x,y:\mBbbR{}.    (x  =  y  \mLeftarrow{}{}\mRightarrow{}  \mforall{}m:\mBbbN{}\msupplus{}.  (|x  -  y|  \mleq{}  (r1/r(m))))


By

---

Latex:
Auto

---

Home Index