Nuprl Lemma : converges-to-cauchy-limit
∀x:ℕ ⟶ ℝ. ∀c:cauchy(n.x[n]). lim n→∞.x[n] = cauchy-limit(n.x[n];c)
Proof
Error : references
Latex:
\mforall{}x:\mBbbN{} {}\mrightarrow{} \mBbbR{}. \mforall{}c:cauchy(n.x[n]). lim n\mrightarrow{}\minfty{}.x[n] = cauchy-limit(n.x[n];c)
Date html generated:
2020_05_21-AM-10_26_57
Last ObjectModification:
2019_12_16-PM-07_29_15
Theory : reals
Home
Index