On nested recursion :a strange function

Define a function given by the following equations:

f1(0) = 0
f1(1) = 0
f1(x+1)=1+f1(1+f1(x)) (for x>0)

Solution

Last modified: Sun May 3 13:53:10 CEST 2015