Eulerの導入したGamma関数を具体的に表示する式として
Gauss の公式と Weierstrass の公式とはよく知られた重要な公式である。
これらの公式を証明するのに、Artin は対数凸なる考えを用いて、見事な証明法を与えた。
今回は Artin とは全く別の観点から、指数関数の局所性質を用いて、
初等的でかつ簡潔な証明法を紹介し、同時に教育的効果についても考えてみた。