theorem Th8: :: NUMBER16:8

for n being Nat holds Fib (n + 2) >= n