Umformen in
n!/(n-k)! >= (n-k)^k nach Definition der Binominalkoeffizienten. Da jeder nicht wegfallende Faktor auf der linken Seite grösser als (n-k) ist und auf beiden Seiten k Faktoren stehen folgt nach Anordnungseigenschaft O2 das der linke Term grösser ist. Ausnahme: K=0, dann sind beide Seiten = 1.
Ich bin davon ausgegangen, das x Element R+ ist, da auf beiden Seiten nach auflösung von n über k in Fakultäten x^k/k! auf beiden Seiten steht kann man das dann ohne Probleme auf beiden Seiten wegkürzen.