アリアンロッドのクリティカル率

id:setantaのところで盛り上がっていた*1アリアンロッドのクリティカル率。
とりあえず検証したコードをうp。

(defun ara-cr3 (n)
  (/
   (- (expt 6 n)
	  (expt 5 n)
	  (* (expt 5 (- n 1)) n))
   (expt 6 n)))

名前が3なのはなぜかというとid:setantaが書いた数式をコーディングしたのが前に二個くらいあったから。
…このプログラムが正しいかどうかは保証しません。

ポイントは、当のid:setantaがわからないはずの言語で検証コードを書いているところでしょうか。ダメじゃん＞俺。

*1:非常にローカルに