Aloha :)
$$\text{Behauptung:}\quad n!\le n\left(\frac{n}{e}\right)^{n}$$Verankerung: Wir suchen die kleinst-mögliche Verankerung für die Induktion:$$n=6\implies 720=6!\stackrel?\le6\cdot\left(\frac{6}{e}\right)^6\approx693,9\quad\text{FAIL}$$$$n=7\implies 5040=7!\stackrel?\le7\cdot\left(\frac{7}{e}\right)^7\approx5256,8\quad\checkmark$$Damit haben wir die Behauptung bei \(n=7\) verankert.
Induktionsschritt \(n\to n+1\):$$(n+1)\left(\frac{n+1}{e}\right)^{n+1}\!\!\!=(n+1)^{n+2}\left(\frac{1}{e}\right)^n\!\cdot\frac{1}{e}\stackrel{\text{(Tipp)}}\ge(n+1)^{n+2}\left(\frac{1}{e}\right)^n\!\cdot\left(\frac{n}{n+1}\right)^{n+1}$$$$=(n+1)\cdot n\left(\frac{n}{e}\right)^n\stackrel{\text{(Ind.Vor.)}}\ge(n+1)\cdot n!=(n+1)!\quad\checkmark$$
Die Behauptung gilt also für alle \(n\ge7\).