Thm* q,n:, i:. (qn)+(qn)(qn+i) geom_speed_lbound
Thm* q,n,i:. (qn)(qn+i) geom_ndecrease
In prior sections: int 1 bool 1 int 2 list 1 list 3 autom
q,n:
, i:
. 
(q
n
)+(qn)
(qn+i) geom_speed_lbound
B == 
B < A
q,n:, i:. (qn)+(qn)(qn+i) geom_speed_lbound
q,n,i:. (qn)(qn+i) geom_ndecrease