๐Ÿงฎ Brain Teaser

The Factorial That Unmasks ee

Evaluate limโกnโ†’โˆžโ€…โ€Šnโ€‰sinโกโ€‰โฃ(2ฯ€eโ€‰n!).\lim_{n\to\infty} \; n\,\sin\!\big(2\pi e\, n!\big).

For contrast, consider sinโก(2ฯ€eโ€‰n)\sin(2\pi e\,n). Since ee is irrational, this sequence is dense in [โˆ’1,1][-1,1], so nsinโก(2ฯ€en)n\sin(2\pi e n) has no limit. Why does replacing nn by n!n! change things so much?

Bonus: Use the same idea to prove that ee 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!e=\sum 1/k! by n!n! turns every term with kโ‰คnk\le n into an integer. The sine has period 2ฯ€2\pi, so it ignores that integer part. Only the tail โˆ‘k>nn!/k!\sum_{k>n} n!/k! survives, and it is about 1n+1\tfrac{1}{n+1}. So eโ€‰n!e\,n! is "almost an integer, plus about 1/n1/n." Then sinโก(2ฯ€โ‹…small)โ‰ˆ2ฯ€โ‹…small\sin(2\pi\cdot\text{small})\approx 2\pi\cdot\text{small}, and multiplying by nn gives about 2ฯ€2\pi. The factorial matters because n!n! is divisible by every k!k! with kโ‰คnk\le n; a plain multiplier nn has no such property.


Formal Proof / Solution

Step 1: Split eโ€‰n!e\,n! into an integer and a tail. Using e=โˆ‘kโ‰ฅ01k!e=\sum_{k\ge 0}\frac{1}{k!}, eโ€‰n!โ€…โ€Š=โ€…โ€Šโˆ‘k=0nn!k!โŸ=:NnโˆˆZโ€…โ€Š+โ€…โ€Šโˆ‘k=n+1โˆžn!k!โŸ=:rn.e\,n! \;=\; \underbrace{\sum_{k=0}^{n}\frac{n!}{k!}}_{=:N_n\in\mathbb Z} \;+\; \underbrace{\sum_{k=n+1}^{\infty}\frac{n!}{k!}}_{=:r_n}. Each n!/k!n!/k! with kโ‰คnk\le n is an integer, so NnโˆˆZN_n\in\mathbb Z. By 2ฯ€2\pi-periodicity, sinโก(2ฯ€eโ€‰n!)=sinโก(2ฯ€rn).\sin(2\pi e\,n!) = \sin(2\pi r_n).

Step 2: Squeeze the tail. Write the tail out term by term: rn=1n+1+1(n+1)(n+2)+1(n+1)(n+2)(n+3)+โ‹ฏr_n = \frac{1}{n+1} + \frac{1}{(n+1)(n+2)} + \frac{1}{(n+1)(n+2)(n+3)} + \cdots

  • Lower bound: keeping only the first term gives rn>1n+1r_n > \dfrac{1}{n+1}.
  • Upper bound: replace every factor (n+j)(n+j) by (n+1)(n+1). This gives the geometric series rn<โˆ‘jโ‰ฅ11(n+1)j=1/(n+1)1โˆ’1/(n+1)=1n.r_n < \sum_{j\ge 1}\frac{1}{(n+1)^j} = \frac{1/(n+1)}{1-1/(n+1)} = \frac1n.

Hence nn+1<nโ€‰rn<1,sonโ€‰rnโ†’1andrnโ†’0.\frac{n}{n+1} < n\,r_n < 1, \qquad\text{so}\qquad n\,r_n \to 1 \quad\text{and}\quad r_n\to 0.

Step 3: Linearize the sine. Since 2ฯ€rnโ†’02\pi r_n\to 0 and sinโกxxโ†’1\frac{\sin x}{x}\to 1 as xโ†’0x\to 0, nsinโก(2ฯ€eโ€‰n!)=nsinโก(2ฯ€rn)=2ฯ€โ€‰(nrn)โ‹…sinโก(2ฯ€rn)2ฯ€rnโ€…โ€ŠโŸถโ€…โ€Š2ฯ€โ‹…1โ‹…1=2ฯ€.n\sin(2\pi e\,n!) = n\sin(2\pi r_n) = 2\pi\,(n r_n)\cdot\frac{\sin(2\pi r_n)}{2\pi r_n} \;\longrightarrow\; 2\pi\cdot 1\cdot 1 = 2\pi.

limโกnโ†’โˆžnsinโก(2ฯ€eโ€‰n!)=2ฯ€\boxed{\displaystyle\lim_{n\to\infty} n\sin(2\pi e\,n!) = 2\pi}

Why the contrast with sinโก(2ฯ€en)\sin(2\pi e n): The value of sinโก(2ฯ€en)\sin(2\pi e n) depends only on the fractional part {en}\{en\}. Because ee is irrational, Weyl/Kronecker equidistribution makes {en}\{en\} dense in [0,1)[0,1), with no structure. With n!n!, the fractional part of eโ€‰n!e\,n! is exactly rnr_n, which marches deterministically to 00 like 1/n1/n. The factorials are tailored to the series of ee.

Bonus: ee is irrational. Suppose e=p/qe=p/q. For any nโ‰ฅqn\ge q, eโ€‰n!=pโ‹…n!qe\,n! = p\cdot\frac{n!}{q} is an integer, so rn=eโ€‰n!โˆ’Nnr_n = e\,n!-N_n is an integer. But Step 2 gives 0<rn<1nโ‰ค10<r_n<\frac1n\le 1, and no integer lies strictly between 00 and 11. Contradiction. โ– \blacksquare

(Equivalently: if ee were rational, sinโก(2ฯ€eโ€‰n!)\sin(2\pi e\,n!) would be 00 for all large nn, and the limit would be 00, not 2ฯ€2\pi.)

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 โ†—