PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
geom
series
limit
2
1
2
1
1.
q:
2.
a:
3.
0 < a
4.
n:
5.
(q
n
)
a-1
6.
a-1 <
(q
n+1
)
7.
a <
(q
n+1
)
a <
(q
n+1+1
)
By:
Inst
Thm*
q,n:
, i:
.
(q
n
)+(q
n)
(q
n+i
) [q;n+1;1]
Generated subgoal:
1
8.
(q
n+1
)+(q
n+1)
(q
n+1+1
)
a <
(q
n+1+1
)
About:
(q
n+1
)+(qn+1)
(qn+1+1)
a < (qn+1+1)
(qn)a-1(qn+1)
a < (qn+1) a < (qn+1+1)
q,n:, i:. (qn)+(qn)(qn+i)
[q;n+1;1](qn+1)+(qn+1)(qn+1+1) a < (qn+1+1)
