どう解釈すればいいんでしょうか

Question

def fact(n):
    if n == 0: return 1
    return n * fact(n - 1)

print(fact(5))

fact(5) ← n = 5 nはローカル変数なので関数の処理が終わるとリセットされる。
return 5 * fact(5 - 1) ← このときreturnで出された5 * というのは再帰が終わるまで保持されるんですか？

fact(0)で、1を返す
5 * 4 * 3 * 2 * 1 * 1 ← こうなるの？

もし保持されているならreturnで返されたn *というのは別のnなんでしょうか？
上書きで保持ってできるんでしょうか？
サイトの説明が分かりにくかったです

Answer 1

基本的に、関数が呼ばれてから、終わるまで、引数の値は変わることがありません。
関数が fact(5) として呼ばれた場合、もちろん n = 5 です。
その中で fact(n - 1) として呼び出される fact(4) は全く別の世界にあると思ってあげて下さい。
別の世界にあって、それぞれの世界で n が保持されます。上書きはされません。

fact(1) は fact(0) を呼び、fact(0) として呼ばれた fact は1を返します。
fact(1) は return 1 * fact(0) となっていますから、1*1 を行って、1を返します。

Answer 2

fact(5)とfact(4)では同じnを使っていても別の数値が入り得ます。
なので単純にfact(5)=5fact(4)=54fact(3)=543fact(2)=...
と展開された結果になります。