Wie kann man dies formal zeigen? Danke für mögliche Antworten.
Merkregel zur AGM-Ungleichung + kleiner Gauss ergibt \(n!<\left(\frac{n+1}{2}\right)^n\).