MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Irrationality proof technique: no factorial in the denominator

Jonathan Sondow elegantly proves the irrationality of e in his aptly titled A Geometric Proof that e Is Irrational and a New Measure of Its Irrationality (The American Mathematical Monthly, Vol. 113, No. 7 (Aug. - Sep., 2006), pp. 637, http://www.jstor.org/stable/27642006).

In his argument, he constructs a sequence of nested intervals $I_n$ for every $n \geq 1$, each of the form $[k/n!, (k+1)/n!]$, such that $\bigcap I_n =${$e$}, with $e$ lying strictly between the endpoints of each $I_n.$ From this, we conclude that $e$ cannot be written as a fraction with denominator $n!$ for any $n \geq 1.$

Fact: Every rational number $p/q$ can be written as a fraction with a factorial in its denominator: $p/q = p(q-1)!/q!$.

Thus, we conclude that $e$ is irrational.

The reason this proof technique works so well with $e$ is, of course, related to the Maclaurin series for the exponential function, $e^x.$

That any rational number can be written in lowest terms is employed in other irrationality proofs (e.g., the classic proof for that of $\sqrt{2}$) but I had not seen the above fact drawn upon before reading this particular paper.

My question is: are there other examples of real numbers (which are not related to $e$ in some trivial way) whose irrationality can be proved using the Fact above?

-
 Trivia: the Fact is related to an old sequence due to Lucas and Kempner: oeis.org/A002034 – Charles Jul 26 at 6:38

The same proof technique, for modified versions of the Fact, proves that some values of some hypergeometric functions are irrational. For example, the Bessel functions of the first kind have the following power series:

$$J_n(x) = \sum_{i=0}^\infty \frac{(-1)^i}{i! (i+n)!} \bigg(\frac x 2\bigg)^{2i+n}$$

For any choice of integers $m\ne 0$ and $n$, every rational number can be written as a quotient of integers so that the denominator is of the form $i!(i+n)!m^{2i+n}$. Since $J_n(2/m)$ can't, it is irrational.

-

Nice proof! Although now I wonder just how different it really is from this one. In Proofs from the Book that technique is to show that $e^2$ and with some adjustments, $e^4$ are irrational.

One can certainly take other sums where the proof you mention applies, although one has to be more careful than I initially thought:

Flawed conjecture (see the comments for a counterexample) You could take any convergent infinite sum $\sum \frac{n_i}{d_i}$ where $\gcd(n_i,d_i)=1$ , and for every integer $q \gt 1$ there is a $j$ so that $q$ divides $d_i$ for all $i \gt j$.

Strengthen the conditions to

• $d_1 | d_2 | \cdots$
• for every integer $q \gt 1$ there is an $i$ so that $q$ divides $d_i$
• $0 \lt |\frac{n_i}{d_i}| \lt \frac{1}{d_{i-1}}$

and the proof does seem to go through. A question is which such sums give interesting real numbers.

$\cos(1)=1-\frac{1}{2}+\frac{1}{24}-\frac{1}{720}\cdots$ works, although $\cos(1)=\frac{e^i+e^{-i}}{2}$ so it depends what counts as a trivial relation. Also $\cos(\frac{1}{k}).$

-
It doesn't work that generally. Consider $\sum_{j=1}^\infty \dfrac{n_j}{j!}$ where $n_j$ is defined recursively as the greatest integer $x$ with $\gcd(x,j!) = 1$ and $\dfrac{x}{j!} < 1 - \sum_{i=1}^{j-1} \dfrac{n_i}{i!}$. The sum of this series is a rational number, namely $1$. – Robert Israel Jul 26 at 1:59
(those sums should have started at $2$, not $1$) – Robert Israel Jul 26 at 2:33
Good point, I'll revise it. – Aaron Meyerowitz Jul 26 at 3:35

If one writes the real number $x$ as

$$x=\sum_{m=0}^{\infty}\frac{a_m}{m!}$$

where $a_m\in \mathbb{Z}$, so that for each $n\in \mathbb{Z}$, $n>0$, one can write

$$x=\frac{c_n}{n!} + \sum_{m=n+1}^{\infty}\frac{a_m}{m!}$$

for some $c_n\in \mathbb{Z}$, perhaps one can try to control the $a_m$ so that

$$\sum_{m=n+1}^{\infty}\frac{a_m}{m!} < \frac{1}{n!}$$

for all $n$?

-