For all \(k \in \mathbb{N}\), we have

\[ k! \le (\frac{k+1}{2})^k. \]

This can be proven by induction an Bernoulli’s inequality.

Link Link to heading