Off topic (ohne Induktion):
$$\quad\left(\frac{n+1}{2}\right)^n\ge n!$$
lässt sich auch mit dem Satz über das arithmetische und geometrische Mittel beweisen.
Die Zahlenpaare (1, n), (2, n-1), (3,n-2), ... (n-2,3), (n-1,2) und (n,1) besitzen alle das arithmetische Mittel \(\left(\frac{n+1}{2}\right)\),
während die geometrischen Mittel
\(\sqrt{1\cdot n}\), \(\sqrt{2 \cdot (n-1)}\), \(\sqrt{3 \cdot (n-2)}\),... \(\sqrt{(n-1) \cdot 2}\) und \(\sqrt{n \cdot1}\) sind.
Das liefert die Ungleichungen
\(\left(\frac{n+1}{2}\right)\ge \sqrt{1\cdot n}\)
\(\left(\frac{n+1}{2}\right)\ge \sqrt{2\cdot (n-1)}\)
\(\left(\frac{n+1}{2}\right)\ge \sqrt{3\cdot (n-2)}\)
...
\(\left(\frac{n+1}{2}\right)\ge \sqrt{n\cdot 1}\).
Multipliziert man alle linken Seiten und alle rechten Seiten, ergibt sich
\(\left(\frac{n+1}{2}\right)^n\ge \sqrt{n! \cdot n!}\)
\(\left(\frac{n+1}{2}\right)^n\ge n!\)