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)!\)