---

Step * of Lemma exp-ratio-property2

∀M:ℕ+. ∀b:{2...}. ∀k:ℕ.  (exp-ratio(1;b;0;k;M) ∈ {n:ℕ| k < M * b^n} )
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}M:\mBbbN{}\msupplus{}.  \mforall{}b:\{2...\}.  \mforall{}k:\mBbbN{}.    (exp-ratio(1;b;0;k;M)  \mmember{}  \{n:\mBbbN{}|  k  <  M  *  b\^{}n\}  )


By

---

Latex:
Auto

---

Home Index