rize n]



-----------------------------------------
-- メビウス関数
-----------------------------------------
--
-- + 定義（ただ
fallingFactorial :: Integral a => a -> a -> a
fallingFactorial m n = product [m - n + 1 .. m]
fallingFactorial m n = product [m - n + 1 .. m]