PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
div
lt
lbound
1
1.
a:
2.
n:
3.
k:
4.
a < n
k
(a
n) < k
By:
Decide ((a
n)
k)
Generated subgoals:
1
5.
(a
n)
k
(a
n) < k
2
5.
(a
n)
k
(a
n) < k
About:
n)
k
(a n) < k
(a n)k (a n) < k
k (a n) < k n)k) n)k (a n) < k(a n)k (a n) < k
