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