7.
d1:. d1 < d 
(L: List. sum(L[i] | i < ||L||) = d1 
0 < ||L|| (
r:
. r- > L^k))8. L:
List9. sum(L[i] | i < ||L||) = d
10. 0 < ||L||
r:. r- > L^k
(L: List. 0 < ||L|| (r:. r- > L^k-1))
k = 1
List
r:. r- > L^k
n:, f:(n
). (x:n. 0
f(x)) 0sum(f(x) | x < n)))
n:, f:(n). (x:n. 0f(x)) 0sum(f(x) | x < n))
| 1 | 6. d: 7. d1:. d1 < d (L: List. sum(L[i] | i < ||L||) = d1 0 < ||L|| (r:. r- > L^k))8. L: List9. sum(L[i] | i < ||L||) = d 10. 0 < ||L|| r:. r- > L^k | 34 steps |
About:
 |  |  |  |  |  |  |  |  |  |