There is a proof online which uses the following:
$$1 + n + {n\choose 2} + \ldots + {n \choose m} \leq n^m \quad \text{for } n,m\geq 2$$
Is there a name of this bound? Or a short proof anywhere? The ones given here are more 'advanced' since I believe this one is really loose.
The step is used at section 2.3 of this file.
if this holds for $m-1$, then we need to prove $n^m - {n \choose m} \geq n^{m-1}$, right? does it follow easily?
– independentvariable Apr 26 '19 at 15:15