PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
geom
series
limit
2
1.
q:
2.
a:
3.
0 < a
4.
n:
.
(q
n
)
a-1 <
(q
n+1
)
n:
.
(q
n
)
a <
(q
n+1
)
By:
Analyze 4
Generated subgoal:
1
4.
n:
5.
(q
n
)
a-1 <
(q
n+1
)
n:
.
(q
n
)
a <
(q
n+1
)
About:
(q
n
) 
a-1 < (qn+1)
n:. (qn) a < (qn+1)
n:. (qn) a-1 < (qn+1) n:. (qn) a < (qn+1)(qn) a-1 < (qn+1) n:. (qn) a < (qn+1)
