ガンマ関数

定義 5.1（「広義積分・パラメータ積分とガンマ関数」§5）

$s>0$ に対し

\Gamma(s)=\int_0^\infty x^{s-1}e^{-x}\,dx

と定めます。

閉包の状態

定義

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

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