---

Step * of Lemma limit-shift

∀m:ℕ. ∀X:ℕ ⟶ ℝ. ∀a:ℝ.  (lim n→∞.X[n] = a ⇒ lim n→∞.X[n + m] = a)
BY
{ (Auto THEN D 0 THEN Auto THEN (With ⌜k⌝ (D 4)⋅ THENA Auto) THEN ParallelLast THEN Auto) }

---

Latex:

---

Latex:
\mforall{}m:\mBbbN{}.  \mforall{}X:\mBbbN{}  {}\mrightarrow{}  \mBbbR{}.  \mforall{}a:\mBbbR{}.    (lim  n\mrightarrow{}\minfty{}.X[n]  =  a  {}\mRightarrow{}  lim  n\mrightarrow{}\minfty{}.X[n  +  m]  =  a)


By

---

Latex:
(Auto  THEN  D  0  THEN  Auto  THEN  (With  \mkleeneopen{}k\mkleeneclose{}  (D  4)\mcdot{}  THENA  Auto)  THEN  ParallelLast  THEN  Auto)

---

Home Index