>>50
＞この記述だと無限に *1が続くわけだから
あなたの理解になにが足りないのかがわかるような気がしてきました。

「fact の引数が 1 である」と「fact の求値が 1 である」とを区別していないようですね
この二つは厳然として異なります

fact 0 = 1

は、fact(0) の「求値が」1 である、といっているのです

fact n = n * fact (n - 1)

は、たとえば

fact 8 = 8 * fact 7
fact 7 = 7 * fact 6
fact 6 = 6 * fact 5
fact 5 = 5 * fact 4
fact 4 = 4 * fact 3
fact 3 = 3 * fact 2
fact 2 = 2 * fact 1

という記述を纏めて表現しているのであり、これは fact n の「求値」は fact (n - 1) という、もともとの引数 n とは違う n - 1 という引数を使った fact の求値で定義しているのです