(defun main (&rest argv) (declare (ignorable argv)) (let* ((n (read)) (ans 4.0d0)) (dotimes (i n) (setf ans (* ans 0.75d0))) (format t "~,15f~%" ans))) (main)