ベルトラン＝チェビシェフの定理は、ガンマ関数を使うらしいよ。