PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
div
lt
lbound
1
1
1.
a:
2.
n:
3.
k:
4.
a < n
k
5.
(a
n)
k
(a
n) < k
By:
RWH (LemmaC
Thm*
a:
, n:
, k:
. k
(a
n)
k
n
a) 5
Generated subgoals:
None
About:
k
n)
k
(a n) < k
a:, n:, k:. k
(a n) 
kna)
5
