Induktionsschritt etwa so:
\( \frac{(n+1)^{(n+1)}}{2^{n+1}} = \frac{(n+1)^n \cdot (n+1)}{2^{n}\cdot 2} \)
binomische Formel im Zähler
\( = \frac{(n^n +n \cdot n^{n-1}\cdot 1+\dots) \cdot (n+1)}{2^{n}\cdot 2} \)
\( = \frac{(2n^n +\dots) \cdot (n+1)}{2^{n}\cdot 2} \)
\( = \frac{2n^n}{2^{n}} \cdot \frac{n+1}{2} = \frac{n^n}{2^{n}} \cdot (n+1) \)
Ind. vor.
\( \le n! \cdot (n+1) = (n+1)!\)