PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
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] proof that e is not a natural number (Proof)

Here, we are going to show that the natural log base $e$ is not a natural number by showing a sharper result: that $e$ is between $2$ and $3$ .

Proposition. $2<e<3$ .

Proof. There are several infinite series representations of $e$ . In this proof, we will use the most common one, the Taylor expansion of $e$ : \begin{eqnarray} \sum_{i=0}^{\infty}\frac{1}{i!}=\frac{1}{0!}+\frac{1}{1!}+\frac{1}{2!}+\cdots+\frac{1}{n!}+\cdots. \end{eqnarray} We chop up the Taylor expansion of $e$ into two parts: the first part $a$ consists of the sum of the first two terms, and the second part $b$ consists of the sum of the rest, or $e-a$ . The proof of the proposition now lies in the estimation of $a$ and $b$ .

Step 1: e$>$ 2. First, $a=\frac{1}{0!}+\frac{1}{1!}=1+1=2$ . Next, $b>0$ , being a sum of the terms in (1), all of which are positive (note also that $b$ must be bounded because (1) is a convergent series). Therefore, $e=a+b=2+b>2+0=2$ .

Step 2: e$<$ 3. This step is the same as showing that $b=e-a=e-2<3-2=1$ . With this in mind, let us compare term by term of the series (2) representing $b$ and another series (3): \begin{eqnarray} \frac{1}{2!}+\frac{1}{3!}+\cdots+\frac{1}{n!}+\cdots \end{eqnarray}and \begin{eqnarray} \frac{1}{2^{2-1}}+\frac{1}{2^{3-1}}+\cdots+\frac{1}{2^{n-1}}+\cdots. \end{eqnarray}It is well-known that the second series (a geometric series) sums to 1. Because both series are convergent, the term-by-term comparisons make sense. Except for the first term, where $\frac{1}{2!}=\frac{1}{2}=\frac{1}{2^{2-1}}$ , we have $\frac{1}{n!}<\frac{1}{2^{n-1}}$ for all other terms. The inequality $\frac{1}{n!}<\frac{1}{2^{n-1}}$ , for $n$ a positive number can be translated into the basic inequality $n!>2^{n-1}$ , the proof of which, based on mathematical induction, can be found here.

Because the term comparisons show

  • that the terms from (2) $\le$ the corresponding terms from (3), and
  • that at least one term from (2) $<$ than the corresponding term from (3),
we conclude that (2) $<$ (3), or that $b<1$ . This concludes the proof. $ \qedsymbol$




"proof that e is not a natural number" is owned by CWoo. [ full author list (3) ]
(view preamble | get metadata)

View style:

See Also: e is transcendental


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

Cross-references: induction, number, inequality, convergent, geometric series, convergent series, bounded, positive, terms, sum, Taylor expansion, proof, representations, series, infinite, proposition, natural number, natural log base

This is version 7 of proof that e is not a natural number, born on 2006-02-06, modified 2006-02-14.
Object id is 7598, canonical name is ProofThatEIsNotANaturalNumber.
Accessed 1929 times total.

Classification:
AMS MSC11J72 (Number theory :: Diophantine approximation, transcendental number theory :: Irrationality; linear independence over a field)
 40A05 (Sequences, series, summability :: Convergence and divergence of infinite limiting processes :: Convergence and divergence of series and sequences)
 40A25 (Sequences, series, summability :: Convergence and divergence of infinite limiting processes :: Approximation to limiting values )

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)