e

DOWNLOAD Mathematica Notebook EXPLORE THIS TOPIC IN the MathWorld Classroom EAreaPlot

The constant e is base of the natural logarithm. e is sometimes known as Napier's constant, although its symbol (e) honors Euler.

e is the unique number 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. However, e is the "least" transcendental possible, with irrationality measure 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 series (2) 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)

(Guillera and Sondow 2005, Sondow 2006).

Using the recurrence relation

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

with a_1=a^(-1), compute

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

The result is e^a. 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)
(26)
=-0.040948222...
(27)

(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!)
(28)
=1-1/e
(29)
=0.6321205588...
(30)

(OEIS A068996).

Stirling's approximation gives

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

(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.

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.