---

Step * of Lemma series-converges-rmul

∀c:ℝ. ∀x:ℕ ⟶ ℝ.  (Σn.x[n]↓ ⇒ Σn.x[n] * c↓)
BY
{ (Auto THEN D -1 THEN With ⌜a * c⌝ (D 0)⋅ THEN EAuto 1) }

---

Latex:

---

Latex:
\mforall{}c:\mBbbR{}.  \mforall{}x:\mBbbN{}  {}\mrightarrow{}  \mBbbR{}.    (\mSigma{}n.x[n]\mdownarrow{}  {}\mRightarrow{}  \mSigma{}n.x[n]  *  c\mdownarrow{})


By

---

Latex:
(Auto  THEN  D  -1  THEN  With  \mkleeneopen{}a  *  c\mkleeneclose{}  (D  0)\mcdot{}  THEN  EAuto  1)

---

Home Index