fun F(0) = 1 | F(1) = 2 | F(n) = F(n-1) + F(n-2);