Es sei
definiert durch
Das unendliche Produkt in dieser Definition ist normal konvergent auf
, denn auf jedem Kompaktum
gilt
mit
, und
Folglich stellt
eine ganze Funktion dar, und sie besitzt nur einfache Nullstellen in den ganzen Zahlen.
Die Funktion
besitzt dieselben einfachen Nullstellen, somit ist
fortsetzbar
zu einer ganzen Funktion ohne Nullstelle.
Da
einfach zusammenhängend ist, gibt es einen Logarithmus
dieser Funktion, d.h. eine ganze Funktion
mit
Betrachtet man die logarithmischen Ableitungen dieser Funktionen, so ergibt sich
für alle
.
Vergleicht man das mit der bekannten Identität
so folgt daraus
für alle
. Aus dem Identitätssatz für holomorphe Funktionen
folgt
für alle
. Somit ist
konstant.
Der Wert dieser Konstanten ergibt sich durch
Also ist
auf
, und es folgt die Produktdarstellung
Daraus ergibt sich auch der Zusammenhang mit der Gammafunktion: