2. 0<b
3.
f:(
). (
n:. n
b-1 & f(n)) 
f(mu(f)) & (i:. i<mu(f) 
f(i))
4. f :
5. n :
6. n
b
7. f(n)
8.
f(0)
9.
n = 0
f(mu(
x.f(x+1))+1) & (i:. i<mu(x.f(x+1))+1 f(i))
f:(). (n:. nb-1 & f(n)) f(mu(f)) & (i:. i<mu(f) f(i))
b
f(0)
n = 0
f(mu(x.f(x+1))+1) & (i:. i<mu(x.f(x+1))+1 f(i))| By: |
x.f(x+1)] 3 THEN All Reduce |
| 1 |
n:. nb-1 & f(n+1) | 2 steps |
| 2 |
x.f(x+1))+1) & (i:. i<mu(x.f(x+1)) f(i+1))
f(mu(x.f(x+1))+1) & (i:. i<mu(x.f(x+1))+1 f(i)) | 6 steps |
About:
 |  |  |  |  |  |  |  |  |
 |  |  |  |  |
 |