PrintForm Definitions exponent Sections AutomataTheory Doc

At: geom series limit


q:, a:. n:. (qn) a < (qn+1)

By:
Analyze 0
THEN
Analyze 0
THEN
NatInd 2


Generated subgoals:

11. q:
n:. (qn) 0 < (qn+1)
21. q:
2. a:
3. 0 < a
4. n:. (qn) a-1 < (qn+1)
n:. (qn) a < (qn+1)


About:
allexistsaddnatural_number