(define (factorial n) (if (<= n 0) 1 (* n (factorial (- n 1)))))