diff --git a/golden/exec/factorial/source.scm b/golden/exec/factorial/source.scm index 313b5ae..ccc9aad 100644 --- a/golden/exec/factorial/source.scm +++ b/golden/exec/factorial/source.scm @@ -2,4 +2,5 @@ (if (zero? n) 1 (* n (fac (- n 1))))))) - (fac 6)) + ;; 20 is the greatest `n` for which n! ≤ maxBount @Int + (fac 20))