4 lines
76 B
Text
4 lines
76 B
Text
dec f : num -> num;
|
|
--- f 0 <= 0;
|
|
--- f 1 <= 1;
|
|
--- f(n+2) <= f n + f(n+1);
|