(define sevens
(lambda (n)
(if (= n 0)
'()
(cons 7 (sevens (- n 1))))))
Objective: Prove by induction on n that sevens produces a list
of length n
Base case: When n = 0, the list produced is empty so it has length 0.
Induction Hypothesis: Assume that for i < n, the procedure produces a list of length i.
Induction Step:
Consider any n > 0.