(defun main (&rest argv) (declare (ignorable argv)) (let* ((a (read)) (b (read)) (c (read))) (format t "~d~%" (min (* a c) b)))) (main)