In Hw 7 Q1 part c. I intuitively see why f_0N should be 1 but is this provable or do we have a theorem for this ?
Hello,
You are right. Formally, one needs to prove that f_0N=1, which is not a direct a consequence of recurrence. But we saw a formal proof of that in Hw 2, actually.
Best,
Olivier