(define (f a b)
  (cond ((> a b) 1)
        (else (* a (f (- a 1) b)))))

(f 1 5)