Fakultätsfunktion/Reell/Funktionalgleichung/Fakt/Beweis

Beweis

Mittels partieller Integration ergibt sich (für reelle Zahlen bei fixiertem )

Für geht und für geht (da positiv ist). Wendet man auf beide Seiten diese Grenzwertprozesse an, so erhält man .