PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] monotonicity of the sequence $(1 + x/n)^n$ (Theorem)
Theorem 1   Let $ x$ be a real number and let $ n$ be an integer such that $ n > 0$ and $ n + x > 0$. Then
$\displaystyle \left( {n + x \over n} \right)^n < \left( {n + 1 + x \over n + 1} \right)^{n+1}. $
Proof. We begin by dividing the two expressions to be compared:
$\displaystyle {\left( {n + x + 1 \over n + 1} \right)^{n+1} \over \left( {n + x \over n} \right)^n}$ $\displaystyle = {n + x + 1 \over n + 1} \cdot \left( {n (n + x + 1) \over (n + x) (n + 1)} \right)^n$    
  $\displaystyle = {n + x + 1 \over n + 1} \cdot \left( {n^2 + nx + n \over n^2 + n x + n + x} \right)^n$    
  $\displaystyle = {n + x + 1 \over n + 1} \cdot \left( 1 - {x \over n^2 + n x + n + x} \right)^n$    

Now, when $ x > 0$, we have
$\displaystyle 0 < {x \over n^2 + n x + n + x} < 1 $
whilst, when $ x < 0$ and $ n + x > 0$, we have,
$\displaystyle {x \over n^2 + n x + n + x} < 0 . $
Therefore, we may apply an inequality for differences of powers to conclude
$\displaystyle \left( 1 - { x \over n^2 + n x + n + x} \right)^n$ $\displaystyle > 1 - { n x \over n^2 + n x + n + x}$    
  $\displaystyle = {n^2 + n + x \over n^2 + n x + n + x}$    

Hence, we have
$\displaystyle {\left( {n + x + 1 \over n + 1} \right)^{n+1} \over \left( {n + x \over n} \right)^n}$ $\displaystyle > {(n + x + 1) (n^2 + n + x ) \over (n + 1) (n^2 + n x + n + x)}$    
  $\displaystyle = {n^3 + 2 n^2 + n + n^2 x + 2 n x + x + x^2 \over n^3 + 2 n^2 + n + n^2 x + 2 n x + x}$    

Note that the numerator is greater than the denominator because it contains every term contained in the denominator and an extra term $ x^2$. Hence this ratio is larger than $ 1$; multiplying out, we obtain the inequality which was to be demonstrated. $ \qedsymbol$



"monotonicity of the sequence $(1 + x/n)^n$" is owned by rspuzio. [ full author list (2) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: ratio, contained, term, contains, denominator, numerator, powers, differences, inequality, expressions, integer, real number

This is version 15 of monotonicity of the sequence $(1 + x/n)^n$, born on 2007-05-01, modified 2007-05-31.
Object id is 9315, canonical name is MonotonicityOfTheSequence1PmXnn.
Accessed 1373 times total.

Classification:
AMS MSC32A05 (Several complex variables and analytic spaces :: Holomorphic functions of several complex variables :: Power series, series of functions)

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)