PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
geom
series
limit
1
1.
q:
n:
.
(q
n
)
0 <
(q
n+1
)
By:
Witness 0
THEN
Analyze 0
THEN
RecUnfold `geom_series` 0
THEN
Reduce 0
Generated subgoals:
1
0
0
2
0 <
(q
0
)+(q
0)
About:
n:. 
(q
n
) 
0 < (qn+1)
