Ich habe zwar eine Möglichkeit gefunden, finde die aber selber nicht sehr geschickt. Ich würde mich daher auch über eine Anregung freuen.
(n + 1)! ≤ 2·((n + 1)/2)^{n + 1}
n!·(n + 1) ≤ 2·((n + 1)/2)^{n + 1}
2·(n/2)^n·(n + 1) ≤ 2·((n + 1)/2)^{n + 1}
(n/2)^n·(n + 1) ≤ ((n + 1)/2)^{n + 1}
(n/2)^n·(n + 1) ≤ ((n + 1)/2)^n · (n + 1)/2
(n/2)^n ≤ 1/2·((n + 1)/2)^n
n^n ≤ 1/2·(n + 1)^n
1 ≤ 1/2·(n + 1)^n / n^n
1 ≤ 1/2·(1 + 1/n)^n
Da nun aber gilt 2 ≤ (1 + 1/n)^n ≤ e ist der obige Term wahr.