GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Algebra
  • Applied Mathematics
  • Calculus and Analysis
  • Discrete Mathematics
  • Foundations of Mathematics
  • Geometry
  • History and Terminology
  • Number Theory
  • Probability and Statistics
  • Recreational Mathematics
  • Topology
  • Alphabetical Index
  • Random Entry
  • New in MathWorld

This view

  • Original page
  • New address

GeezerVison is showing mathworld.wolfram.com — e -- from Wolfram MathWorld

Search

e

DOWNLOAD Mathematica NotebookDownload Wolfram Notebook
EAreaPlot

The constant e is the base of the natural logarithm. It is sometimes known as Napier's constant.

e is the unique number greater than 1 with the property that the area of the region bounded by the hyperbola y=1/x, the x-axis, and the vertical lines x=1 and x=e is 1. In other words,

int_1^e(dx)/x=lne=1.
(1)

With the possible exception of pi, e is the most important constant in mathematics since it appears in myriad mathematical contexts involving limits and derivatives. The numerical value of e is

e=2.718281828459045235360287471352662497757...
(2)

(OEIS A001113).

ELimit

e can be defined by the limit

e=lim_(x->infty)(1+1/x)^x
(3)

(illustrated above), or by the infinite series

e=sum_(k=0)^infty1/(k!)
(4)

as first published by Newton (1669; reprinted in Whiteside 1968, p. 225).

e is given by the unusual limit

lim_(n->infty)[((n+1)^(n+1))/(n^n)-(n^n)/((n-1)^(n-1))]=e
(5)

(Brothers and Knox 1998).

Euler (1737; Sandifer 2006) proved that e is irrational by proving that e has an infinite simple continued fraction (e=[2;1,2,1,1,4,1,1,6,...]; Nagell 1951), and Liouville proved in 1844 that e does not satisfy any quadratic equation with integral coefficients (i.e., if it is algebraic, it must be algebraic of degree greater than 2). Hermite subsequently settled the issue, proving e to be transcendental in 1873. Its irrationality measure is mu(e)=2.

Sondow (2006) proved that e is irrational using a construction for e as the intersection of a nested sequence of closed intervals. This method also provides a measure of irrationality in terms of the Smarandache function (denoted here as S(n) instead of the conventional mu(n) in order to avoid confusion with the irrationality measure) by showing that if p and q are any integers with q>1, then

|e-p/q|>1/((S(q)+1)!).
(6)

It is not known if pi+e or pi/e is irrational. It is known that pi+e and pi/e do not satisfy any polynomial equation of degree <=8 with integer coefficients of average size 10^9 (Bailey 1988, Borwein et al. 1989), but it is not known if either of these is transcendental.

It is not known if e is normal to any base (Stoneham 1970).

e has the series representation

e=[sum_(k=0)^infty((-1)^k)/(k!)]^(-1),
(7)

as well as

e=[sum_(k=0)^(infty)(1-2k)/((2k)!)]^(-1)
(8)
=sum_(k=0)^(infty)(2k+1)/((2k)!)
(9)
=1/2sum_(k=0)^(infty)(k+1)/(k!)
(10)
=2sum_(k=0)^(infty)(k+1)/((2k+1)!)
(11)
=sum_(k=0)^(infty)(3-4k^2)/((2k+1)!)
(12)
=sum_(k=0)^(infty)((3k)^2+1)/((3k)!)
(13)
=[sum_(k=0)^(infty)(4k+3)/(2^(2k+1)(2k+1)!)]^2.
(14)

The special case of the Euler formula

e^(ix)=cosx+isinx
(15)

with x=pi gives the beautiful identity

e^(ipi)+1=0,
(16)

an equation connecting the fundamental numbers i, pi, e, 1, and 0 (zero) and involving the fundamental operations of equality (=), addition (+), multiplication (×), and exponentiation.

A nested series for e can be obtained by rewriting the factorial series for e as

e=1+1+1/(2!)+1/(3!)+1/(4!)+...
(17)
=1+1+1/2(1+1/3+1/(4·3)+...)
(18)
=1+1+1/2(1+1/3(1+1/4(1+1/5(1+...)))),
(19)

which gives a pretty nested radical result when x is taken to the power of both sides.

An unexpected Wallis-like formula for e is given by the Pippenger product

e/2=(2/1)^(1/2)(2/34/3)^(1/4)(4/56/56/78/7)^(1/8)...
(20)

(OEIS A084148 and A084149; Pippenger 1980). Another product for e given by

e=(2/1)^(1/1)((2^2)/(1·3))^(1/2)((2^3·4)/(1·3^3))^(1/3)((2^4·4^4)/(1·3^6·5))^(1/4)...
(21)

due to Guillera (Sondow 2006). This is analogous to the products

e^gamma=(2/1)^(1/2)((2^2)/(1·3))^(1/3)((2^3·4)/(1·3^3))^(1/4)((2^4·4^4)/(1·3^6·5))^(1/5)...,
(22)

and

pi/2=(2/1)^(1/2)((2^2)/(1·3))^(1/4)((2^3·4)/(1·3^3))^(1/8)((2^4·4^4)/(1·3^6·5))^(1/16)...
(23)

(Sondow 2006, Guillera and Sondow 2008).

For a>0, use the recurrence relation

a_n=n/a(a_(n-1)+1)
(24)

for n>=2, with a_1=a^(-1), to compute

product_(n=1)^infty(1+a_n^(-1)).
(25)

The result is e^a. Setting a=1 gives

e=2·5/4·(16)/(15)·(65)/(64)·(326)/(325)·...
(26)

(Sebah and Gourdon 2001, p. 7). Writing s_n=sum_(k=0)^(n)1/k!, the nth factor is s_n/s_(n-1), so the first N factors telescope to the partial sum s_N. The numerators are n!s_n (OEIS A000522) and the denominators are n!s_(n-1) (OEIS A007526) for n>=1.

Gosper gives the unusual equation connecting pi and e,

sum_(n=1)^(infty)1/(n^2)cos(9/(npi+sqrt(n^2pi^2-9)))=-(pi^2)/(12e^3)
(27)
=-0.040948222...
(28)

(OEIS A100074).

Rabinowitz and Wagon (1995) give an algorithm for computing digits of e based on earlier digits (Borwein and Bailey 2003, p. 140), but a much simpler spigot algorithm was found by Sales in 1968. Around 1966, MIT hacker Eric Jensen wrote a very concise program (requiring less than a page of assembly language) that computed e by converting from factorial base to decimal.

Let p(n) be the probability that a random one-to-one function on the integers 1, ..., n has at least one fixed point. Then

lim_(n->infty)p(n)=sum_(k=1)^(infty)((-1)^(k+1))/(k!)
(29)
=1-1/e
(30)
=0.6321205588...
(31)

(OEIS A068996).

Stirling's approximation gives

lim_(n->infty)((n!)^(1/n))/n=1/e
(32)
=0.367879441...
(33)

(OEIS A068985).

Steiner's problem asks for the largest value of the function x^(1/x), which is given by e^(1/e).

Examples of e mnemonics (Gardner 1959, 1991) include:

"By omnibus I traveled to Brooklyn" (6 digits).

"To disrupt a playroom is commonly a practice of children" (10 digits).

"It enables a numskull to memorize a quantity of numerals" (10 digits).

"I'm forming a mnemonic to remember a function in analysis" (10 digits).

"He repeats: I shouldn't be tippling, I shouldn't be toppling here!" (11 digits).

"In showing a painting to probably a critical or venomous lady, anger dominates. O take guard, or she raves and shouts" (21 digits). Here, the word "O" stands for the number 0.

A much more extensive mnemonic giving 40 digits is

"We present a mnemonic to memorize a constant so exciting that Euler exclaimed: '!' when first it was found, yes, loudly '!'. My students perhaps will compute e, use power or Taylor series, an easy summation formula, obvious, clear, elegant!"

(Barel 1995). In the latter, 0s are represented with "!". A list of e mnemonics in several languages is maintained by A. P. Hatzipolakis.

See also

Carleman's Inequality, Compound Interest, de Moivre's Identity, e Approximations, e Continued Fraction, e Digits, Euler Formula, Exponential Decay, Exponential Function, Exponential Growth, Hermite-Lindemann Theorem, Natural Logarithm, Pickover's Sequence, Steiner's Problem Explore this topic in the MathWorld classroom

Related Wolfram sites

https://functions.wolfram.com/Constants/E/

Portions of this entry contributed by Jonathan Sondow (author's link)

Explore with Wolfram|Alpha

WolframAlpha

More things to try:

  • logarithm
  • inverse function
  • natural logarithm

References

Bailey, D. H. "Numerical Results on the Transcendence of Constants Involving pi, e, and Euler's Constant." Math. Comput. 50, 275-281, 1988.Barel, Z. "A Mnemonic for e." Math. Mag. 68, 253, 1995.Baruvelle, H. V. "The Number e: The Base of Natural Logarithms." Math. Teacher 38, 350-355, 1945.Borwein, J. and Bailey, D. Mathematics by Experiment: Plausible Reasoning in the 21st Century. Wellesley, MA: A K Peters, 2003.Borwein, J. M.; Borwein, P. B.; and Bailey, D. H. "Ramanujan, Modular Equations, and Approximations to Pi or How to Compute One Billion Digits of Pi." Amer. Math. Monthly 96, 201-219, 1989.Brothers, H. J. "Improving the Convergence of Newton's Series Approximation for e." College Math. J. 35, 34-39, 2004.Brothers, H. J. and Knox, J. A. "New Closed-Form Approximations to the Logarithmic Constant e." Math. Intell. 20, 25-29, 1998.Caldwell, C. K. and Dubner, H. "Primes in Pi." J. Recr. Math. 29, 282-289, 1998.Castellanos, D. "The Ubiquitous Pi. Part I." Math. Mag. 61, 67-98, 1988.Conway, J. H. and Guy, R. K. The Book of Numbers. New York: Springer-Verlag, pp. 201 and 250-254, 1996.Euler, L. "An Essay on Continued Fractions" (Trans. M. F. Wyman and B. F. Wyman). Math. Systems Th. 18, 295-328, 1985.Euler, L. "De fractionibus continuis dissertation." Comm. Acad. Sci. Petr. 9, 98-137, (1737) 1744. Reprinted in Leonhardi Euleri Opera Omnia, Ser. I, Vol. 14. Leipzig, Germany: Teubner, pp. 187-215, 1924.Finch, S. R. "The Natural Logarithm Base." §1.3 in Mathematical Constants. Cambridge, England: Cambridge University Press, pp. 12-17, 2003.Friedman, E. "Problem of the Month (August 2004)." https://erich-friedman.github.io/mathmagic/0804.html.Gardner, M. "Memorizing Numbers." Ch. 11 in The Scientific American Book of Mathematical Puzzles & Diversions. New York: Simon and Schuster, pp. 103 and 109, 1959. https://books.google.com/books?id=ErAyAAAAMAAJ.Gardner, M. "Memorizing Numbers." Ch. 11 in Hexaflexagons and Other Mathematical Diversions: The First Scientific American Book of Puzzles and Games. Chicago, IL: University of Chicago Press, pp. 103 and 109, 1988.Gardner, M. "The Transcendental Number e." Ch. 3 in The Unexpected Hanging and Other Mathematical Diversions. Chicago, IL: Chicago University Press, pp. 34-42, 1991.Gourdon, X. and Sebah, P. "The Constant e." http://numbers.computation.free.fr/Constants/E/e.html.Guillera, J. and Sondow, J. "Double Integrals and Infinite Products for Some Classical Constants via Analytic Continuations of Lerch's Transcendent." Ramanujan J. 16, 247-270, 2008. https://doi.org/10.1007/s11139-007-9102-0.Hatzipolakis, A. P. "PiPhilology." http://www.elegio.it/doc/pi/piph95.htm.Hermite, C. "Sur la fonction exponentielle." C. R. Acad. Sci. Paris 77, 18-24, 74-79, and 226-233, 1873.Knox, J. A. and Brothers, H. J. "Novel Series-Based Approximations to e." College Math. J. 30, 209-215, 1999.Le Lionnais, F. Les nombres remarquables. Paris, France: Hermann, p. 47, 1983.Maor, E. e: The Story of a Number. Princeton, NJ: Princeton University Press, 1994.Minkus, J. "A Continued Fraction." Problem 10327. Amer. Math. Monthly 103, 605-606, 1996.Mitchell, U. G. and Strain, M. "The Number e." Osiris 1, 476-496, 1936.Nagell, T. "Irrationality of the Numbers e and pi." §13 in Introduction to Number Theory. New York: Wiley, pp. 38-40, 1951.Newton, I. The Mathematical Papers of Isaac Newton, Vol. 2.: 1667-1670 (Ed. D. T. Whiteside). New York: Cambridge University Press, 1968.Numberphile. "e (Euler's Number)." Dec. 19, 2016. https://www.youtube.com/watch?v=AuA2EAgAegE.Numberphile. "A Proof That e Is Irrational." Jan. 24, 2021. https://www.youtube.com/watch?v=xOXsDfMMTjs.Pippenger, N. "An Infinite Product for e." Amer. Math. Monthly 87, 391, 1980.Plouffe, S. "Table of Current Records for the Computation of Constants." https://www.plouffe.fr/simon/articles/TableofRecords.pdf.Rabinowitz, S. and Wagon, S. "A Spigot Algorithm for the Digits of pi." Amer. Math. Monthly 102, 195-203, 1995.Reid, C. In From Zero to Infinity, 4th ed. Washington, DC: Math. Assoc. Amer., 1992.Sandifer, E. "How Euler Did It: Who Proved e Is Irrational?" Feb. 2006. http://eulerarchive.maa.org/hedi/HEDI-2006-02.pdf.Sebah, P. and Gourdon, X. "The Constant e and Its Computation." Dec. 14, 2001. https://www.brotherstechnology.com/docs/gs_e.pdf.Sloane, N. J. A. Sequences A000029/M0563, A000522, A001113/M1727, A007526, A068985, A068996, A084148, A084149, and A100074 in "The On-Line Encyclopedia of Integer Sequences."Sondow, J. "A Geometric Proof That e Is Irrational and a New Measure of Its Irrationality." Amer. Math. Monthly 113, 637-641, 2006.Stoneham, R. "A General Arithmetic Construction of Transcendental Non-Liouville Normal Numbers from Rational Functions." Acta Arith. 16, 239-253, 1970.Wall, H. S. Analytic Theory of Continued Fractions. New York: Chelsea, 1948.Weisstein, E. W. "Books about e." http://www.ericweisstein.com/encyclopedias/books/e.html.Wells, D. The Penguin Dictionary of Curious and Interesting Numbers. Middlesex, England: Penguin Books, p. 46, 1986.

Referenced on Wolfram|Alpha

e

Cite this as:

Weisstein, Eric W., with contributions by Jonathan Sondow. "e." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/e.html

Subject classifications

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.