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