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