---

Step * 2 1 1 1 1 of Lemma logseq-converges


∀b:ℕ+. ∀i,j:ℕ.  ((i ≤ j) ⇒ (b^i ≤ b^j))
BY
{ Auto }

1
1. b : ℕ+
2. i : ℕ
3. j : ℕ
4. i ≤ j
⊢ b^i ≤ b^j

---

Latex:

---

Latex:

\mforall{}b:\mBbbN{}\msupplus{}.  \mforall{}i,j:\mBbbN{}.    ((i  \mleq{}  j)  {}\mRightarrow{}  (b\^{}i  \mleq{}  b\^{}j))


By

---

Latex:
Auto

---

Home Index