素因子

定義 4.1（「整関数とガンマ関数」§4）

整数 $p\ge0$ に対して

E_p(z)=(1-z)\exp\!\Bigl(z+\frac{z^2}{2}+\cdots+\frac{z^p}{p}\Bigr)\qquad(E_0(z)=1-z)

を素因子という。 $E_p$ は整関数で、零点は $z=1$ だけ（単純）である。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。