---

Step * of Lemma converges-iff-cauchy

No Annotations
∀x:ℕ ⟶ ℝ. (x[n]↓ as n→∞ ⇐⇒ cauchy(n.x[n]))
BY
{ Auto }

1
1. x : ℕ ⟶ ℝ
2. x[n]↓ as n→∞
⊢ cauchy(n.x[n])

2
1. x : ℕ ⟶ ℝ
2. cauchy(n.x[n])
⊢ x[n]↓ as n→∞

---

Latex:

---

Latex:
No  Annotations
\mforall{}x:\mBbbN{}  {}\mrightarrow{}  \mBbbR{}.  (x[n]\mdownarrow{}  as  n\mrightarrow{}\minfty{}  \mLeftarrow{}{}\mRightarrow{}  cauchy(n.x[n]))


By

---

Latex:
Auto

---

Home Index