exponent
Sections
AutomataTheory
Doc
Def
i
j < k == i
j & j < k
Thm*
q:
, a:
.
n:
.
(q
n
)
a <
(q
n+1
) geom_series_limit
In prior sections:
int
1
q:
, a:. 
n:. 
(q
n
) 
a < (qn+1) geom_series_limit
j < k == ij & j < k
q:, a:. n:. (qn) a < (qn+1) geom_series_limit