MathLabs

Problem 4

Let n,kn, k be given positive integers with n>kn > k. Prove that 1n+1⋅nnkk(n−k)n−k<n!k!(n−k)!<nnkk(n−k)n−k\frac{1}{n+1} \cdot \frac{n^n}{k^k (n-k)^{n-k}} < \frac{n!}{k!(n-k)!} < \frac{n^n}{k^k (n-k)^{n-k}}.
Step 2 of 4: Expand nnn^n via the Binomial Theorem to establish the upper bound
In plain words

A single term in a sum of positive numbers is always smaller than the whole sum.

nn=((n−k)+k)n=∑i=0n(ni)(n−k)n−iki=∑i=0nTi+1>Tk+1n^n = ((n-k) + k)^n = \sum_{i=0}^{n} \binom{n}{i} (n-k)^{n-i} k^i = \sum_{i=0}^{n} T_{i+1} > T_{k+1}
Detailed analysis

By the Binomial Theorem, nn=((n−k)+k)n=∑i=0nTi+1n^n = ((n-k) + k)^n = \sum_{i=0}^{n} T_{i+1}, where Ti+1=(ni)(n−k)n−ikiT_{i+1} = \binom{n}{i} (n-k)^{n-i} k^i for 0≤i≤n0 \le i \le n. Because n>k≥1n > k \ge 1, every term Ti+1T_{i+1} is strictly positive and there are n+1≥3n + 1 \ge 3 terms in the sum. In particular, the single term Tk+1=(nk)kk(n−k)n−kT_{k+1} = \binom{n}{k} k^k (n-k)^{n-k} is strictly less than the entire sum nnn^n, which proves the right-hand inequality.