定義 自然数，について，の次下方階乗ベキをと書いて，次式で定義する．

下方階乗ベキ 下方階乗ベキで表示した多項式

(編集中) 整数の多項式が次式で与えられているとする： (1)