Proving upper bound for $\binom{n}{k}$ directly from given fact
2708
Inequality ${n \choose k} \leq \left(\frac{en}{ k}\right)^k$
111954
Computing the cardinality of a combinatorial set
117761
When is $\binom{n}{k}$ divisible by $n$?
111505
Proof $\binom{p-1}{k}\equiv (-1)^k \mod{p}$
71564
Combinatorial proof of identity involving central binomial coefficients
90904
Combinatorial proof of an identity with squared binomial coefficients
143374
Elegant proof that maximum of sums is, at most, sum of maximums
81729
Combinatorial proof of $\sum_{k=0}^{n}(-1)^{k}\binom{n}{k}(l-k)^n=n!$, using inclusion-exclusion
51129
Proving $n^\epsilon > \log(n)$ for sufficiently large $n$
75910
Combinatorial Proof of Combinatorial Identity involving $(-1)^k \binom {n-1}{k}$
61635
Proving AM-GM with induction
92359
Big-O Notation Proof
92249
Every finite set contains its supremum: proof improvement.
97900
Project Euler - 34 / Find a mathematical approach for upper bound
13525
Prove: If $n=2^k-1$, then $\binom{n}{i}$ is odd for $0\leq i\leq n$
152084
Binomial-Theorem proof
76368
Proving the Binomial theorem