The number e

We are not always able to express the limit explicitly (i.e. the real number itself), in fact some real numbers are defined as limits of sequences. For instance consider

a n = ( 1 + 1 n ) n

We shall show now that {an} is increasing and bounded above. Therefore it is convergent. The real number which is the limit of this sequence is denoted by e and called the Euler number.

Proposition 3.4.1. The sequence {an} = (1 + 1/n)n is strictly increasing.

a n = ( 1 + 1 n ) n = k = 0 n ( n k ) 1 n k = k = 0 n 1 k ! n ( n 1 ) ( n k + 1 ) n k = k = 0 n 1 k ! n n n 1 n n k + 1 n = k = 0 n 1 k ! 1 ( 1 1 n ) ( 1 k 1 n )   3.3.1

similarly

a n + 1 = k = 0 n + 1 1 k ! 1 ( 1 1 n + 1 ) ( 1 k 1 n + 1 )   3.3.2

We know that

( 1 1 n ) < ( 1 1 n + 1 ) , , ( 1 k 1 n ) < ( 1 k 1 n + 1 )

so each summand of 3.3.1 is smaller than the corresponding term in (3.3.2). The latter sum, moreover, contains an additional positive summand labelled by k = n + 1. Therefore an < an+1 for each n.  □

Proposition 3.4.2. The sequence an is bounded; precisely

2 < an < 3,    ∀n > 1

Proof. Since a1 = 2, and the sequence is strictly monotone by the previous property, we have an > 2, ∀n > 1. Let us show that an > 3, ∀n > 1. By (3.3.1) and observing that

for k ≥1,  k! ≥ 2k−1  ⇒  1/k! ≤ 1/2k−1  ⇒  Σk=1 1/k! ≤ Σk=1 1/2k − 1

we have that

a n = k = 0 n 1 k ! 1 ( 1 1 n ) ( 1 k 1 n ) < k = 0 n 1 k ! = 1 + k = 1 n 1 k ! 1 + k = 1 n 1 2 k 1 = 1 + k = 0 n 1 1 2 k

the majorative sum is that of a geometric progression that we know to be

k = 0 n 1 1 2 k = 1 1 2 n 1 1 2 = 2 ( 1 1 2 n ) < 2

We conclude that an < 3.  □

«Epoxides Index Sulfides»