---

Step * 1 2 1 1 of Lemma converges-to-rexp


1. m : ℕ
⊢ e^r(m) ≤ r(3^m)
BY
{ NatInd 1 }

1
.....basecase..... 
1. m : ℤ
⊢ e^r0 ≤ r(3^0)

2
.....upcase..... 
1. m : ℤ
2. 0 < m
3. e^r(m - 1) ≤ r(3^m - 1)
⊢ e^r(m) ≤ r(3^m)

---

Latex:

---

Latex:

1.  m  :  \mBbbN{}
\mvdash{}  e\^{}r(m)  \mleq{}  r(3\^{}m)


By

---

Latex:
NatInd  1

---

Home Index