---

Step * 2 of Lemma rsum-rewrite-test


1. ∀i:ℤ. (r(i) ≤ r(1 + i))
⊢ Σ{r(i) | 1≤i≤10} ≤ Σ{r(1 + i) | 1≤i≤10}
BY
{ (RWO "-1<" 0 THEN Auto) }

---

Latex:

---

Latex:

1.  \mforall{}i:\mBbbZ{}.  (r(i)  \mleq{}  r(1  +  i))
\mvdash{}  \mSigma{}\{r(i)  |  1\mleq{}i\mleq{}10\}  \mleq{}  \mSigma{}\{r(1  +  i)  |  1\mleq{}i\mleq{}10\}


By

---

Latex:
(RWO  "-1<"  0  THEN  Auto)

---

Home Index