没有太明白这个递归是怎么确定

他这个是fn但这个具体怎么运行我搞不明白，为什么N=20就可以算出答案，他是怎么把那个和定义的宿主连接起来的