階乗と累階乗の定義を自然数\(n\)を使って表す:
階乗[]
\({n!}\) と表され、\(1\)から\(n\)番目の数までをかけたものである。
累階乗[]
自然数\(n\)に対しその累階乗\({n⇠}\)を以下のように再帰的に定める:
\(n = 1\)の時、\({n\dashleftarrow} = 1\)である。
\(n > 1\)の時、\({n\dashleftarrow} = n^{((n-1)\dashleftarrow)}\)である。
定義から、累階乗は\(1\)から\(n\)番目の数までを冪乗したものである。
指数階乗と同じものであるということがわかった。