(defparameter a (parse-integer (read-line))) (defparameter b (parse-integer (read-line))) (defparameter c (parse-integer (read-line))) ;(print (ceiling (/ a b))) ;(print (ceiling (/ a c))) ;(print (ceiling (* (ceiling (/ a b)) 2/3))) ;(print (ceiling (/ a c))) (format t (if (>= (* (ceiling (/ a b)) 2/3) (ceiling (/ a c))) "YES~%" "NO~%"))