N less than M to the N

From ProofWiki

Jump to: navigation, search

[edit] Theorem

\forall m, n \in \Z_+: m > 1 \implies n < m^n


[edit] Proof

n = 1 + 1 + \cdots \left({n}\right) \cdots + 1                    
< 1 + m + m^2 + \cdots + m^{n + 1}          (as m > 1)          
= \frac {m^n - 1} {m - 1}          Sum of Geometric Progression          
\le mn − 1          (as m-1 \ge 1)          
< mn                    

\blacksquare

Personal tools