A full definition would include Fib(0) = 0, Fib(1) = 1 or if you prefer 1, 1.

You need to manually check the first 2 values in a seperate test.