die Fakultätsfunktion kannst du mit der Stirlingformel nachunten abschätzen. Denn man weiß, dass folgendes gilt:
1<2πx⋅(ex)xx!⇔x!>2πx⋅(ex)x(∗).
Dann ist auch damit x!ex<(∗)2πx⋅(ex)xex=2πx1⋅xxe2x=2πx1⋅(xe2)x
Offensichtlich wächst x^x schneller als die e-Funktion. Damit ist x→∞lim(xe2)x=0.(∗∗)
Insgesamt gilt damit x→∞limx!ex=(∗∗)0.
(*) https://de.wikipedia.org/wiki/Stirlingformel