6. Recursive Fibonacci Numbers Claim: For all n ≥ 0 , fib( n ) return F n Base: For n =0 , fib( n ) returns 0 as claimed. For n = 1 , fib( n ) returns 1 as claimed. Induction: Suppose that n ≥ 2 and for all 0 ≤ m < n, fib ( m ) returns F m . Required to prove fib( n ) returns F n What does fib( n ) returns? fib( n-1 ) + fib( n-2 ) = F n-1 + F n-2 (by Ind. Hyp.) = F n