(define (fac n) (if (< n 2) 1 (* n (fac (- n 1)))))