For contrast, consider sin(2ฯen). Since e is irrational, this sequence is dense in [โ1,1], so nsin(2ฯen) has no limit. Why does replacing n by n! change things so much?
Bonus: Use the same idea to prove that e is irrational in one line.
limitsseries of eirrationality of efractional partssqueeze theorem
Answer: The Factorial That Unmasks e
Key Idea / Intuition
Multiplying e=โ1/k! by n! turns every term with kโคn into an integer. The sine has period 2ฯ, so it ignores that integer part. Only the tail โk>nโn!/k! survives, and it is about n+11โ. So en! is "almost an integer, plus about 1/n." Then sin(2ฯโ small)โ2ฯโ small, and multiplying by n gives about 2ฯ. The factorial matters because n! is divisible by every k! with kโคn; a plain multiplier n has no such property.
Formal Proof / Solution
Step 1: Split en! into an integer and a tail.
Using e=โkโฅ0โk!1โ,
en!==:NnโโZk=0โnโk!n!โโโ+=:rnโk=n+1โโโk!n!โโโ.
Each n!/k! with kโคn is an integer, so NnโโZ. By 2ฯ-periodicity,
sin(2ฯen!)=sin(2ฯrnโ).
Step 2: Squeeze the tail.
Write the tail out term by term:
rnโ=n+11โ+(n+1)(n+2)1โ+(n+1)(n+2)(n+3)1โ+โฏ
Lower bound: keeping only the first term gives rnโ>n+11โ.
Upper bound: replace every factor (n+j) by (n+1). This gives the geometric series
rnโ<โjโฅ1โ(n+1)j1โ=1โ1/(n+1)1/(n+1)โ=n1โ.
Hence
n+1nโ<nrnโ<1,sonrnโโ1andrnโโ0.
Step 3: Linearize the sine.
Since 2ฯrnโโ0 and xsinxโโ1 as xโ0,
nsin(2ฯen!)=nsin(2ฯrnโ)=2ฯ(nrnโ)โ 2ฯrnโsin(2ฯrnโ)โโถ2ฯโ 1โ 1=2ฯ.
nโโlimโnsin(2ฯen!)=2ฯโ
Why the contrast with sin(2ฯen): The value of sin(2ฯen) depends only on the fractional part {en}. Because e is irrational, Weyl/Kronecker equidistribution makes {en} dense in [0,1), with no structure. With n!, the fractional part of en! is exactly rnโ, which marches deterministically to 0 like 1/n. The factorials are tailored to the series of e.
Bonus: e is irrational.
Suppose e=p/q. For any nโฅq, en!=pโ qn!โ is an integer, so rnโ=en!โNnโ is an integer. But Step 2 gives 0<rnโ<n1โโค1, and no integer lies strictly between 0 and 1. Contradiction. โ
(Equivalently: if e were rational, sin(2ฯen!) would be 0 for all large n, and the limit would be 0, not 2ฯ.)
Source: Mathematical folklore (classic limit; cf. Fourier's proof of the irrationality of e)
Type:analysisSource: Mathematical folklore (classic limit; cf. Fourier's proof of the irrationality of e)Edit on GitHub โ