e as the limit of (1 + 1/n)^n
Builds on Monotone convergence theorem for sequencesExponential function
Statement
Let , where is the exponential function. Then More generally, for each real number ,
Remarks
Some texts take the limit as the definition of the number e. The sequence is increasing and bounded above by , so the monotone convergence theorem gives the limit.
The first values are , , about and about . The limit is .
Jacob Bernoulli found this limit when he studied compound interest.
Mathlib states the general form as Real.tendsto_one_add_div_pow_exp.
Reading path
To understand this page from the ground up, read these 26 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Sequence definition
- Real sequence definition
- Bounded sequence definition
- Geometric sequence definition
- Limit of a sequence definition
- Monotone sequence definition
- Series definition
- Sum of a finite geometric series statement
- Monotone convergence theorem for sequences statement
- Convergent sequence definition
- Squeeze theorem statement
- Partial sum definition
- Power series definition
- The sequence r^n tends to zero for |r| < 1 example
- Radius of convergence definition
- Convergent series definition
- A series of nonnegative terms converges iff its partial sums are bounded statement
- Absolute convergence definition
- Sum of a series definition
- Comparison test statement
- Geometric series example
- Ratio test statement
- Ratio formula for the radius of convergence statement
- The exponential series has infinite radius of convergence statement
- Exponential function definition
- e as the limit of (1 + 1/n)^n statement
Further reading
- Web https://en.wikipedia.org/wiki/E_(mathematical_constant), Definitions
- Web https://en.wikipedia.org/wiki/E_(mathematical_constant), Compound interest
About this page
| Tag | 0FEMF8JKAF |
|---|---|
| URI | m2://0FEMF8JKAF |
| Kind | statement, proposition |
| Writing | W0 stub |
| MSC | 26A09 |
| Status | This copy of the site has no build data. Run m2 status 0FEMF8JKAF. |
| Uses | Monotone convergence theorem for sequences, Exponential function |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.