---

Step * of Lemma rsum-rewrite-test

Σ{r(i) | 1≤i≤10} ≤ Σ{r(1 + i) | 1≤i≤10}
BY
{ Assert ⌜∀i:ℤ. (r(i) ≤ r(1 + i))⌝⋅ }

1
.....assertion..... 
∀i:ℤ. (r(i) ≤ r(1 + i))

2
1. ∀i:ℤ. (r(i) ≤ r(1 + i))
⊢ Σ{r(i) | 1≤i≤10} ≤ Σ{r(1 + i) | 1≤i≤10}

---

Latex:

---

Latex:
\mSigma{}\{r(i)  |  1\mleq{}i\mleq{}10\}  \mleq{}  \mSigma{}\{r(1  +  i)  |  1\mleq{}i\mleq{}10\}


By

---

Latex:
Assert  \mkleeneopen{}\mforall{}i:\mBbbZ{}.  (r(i)  \mleq{}  r(1  +  i))\mkleeneclose{}\mcdot{}

---

Home Index