Du kannst das ja auch in der Form
n! ≥ (√(n/2) )^n schreiben.
Wenn z.B. n gerade ist, ist die erste
Hälfte der Faktoren von n! sicherlich
größer oder gleich 1 und damit deren
Produkt auch größer oder gleich 1.
Und die Faktoren der zweiten Hälfte sind alle
größer gleich n/2, also die zweite Hälfte des
Produktes größer oder gleich (n/2)^{n/2} .
Zusammen gibt das
n! ≥ 1 .* (n/2)^{n/2} .
<=> n! ≥ √ (n/ 2 ) ^n