Let
Assume for a contradiction that is rational. For every , both and
are integers, because the are integers. Their positive difference
must therefore be a positive integer.
On the other hand, concavity of for gives . Since ,
Eventually , contradicting its integrality. Hence
The integrality assumption is essential. For example, take , , and
Then , but the exponential series gives
Thus the result does not remain true for arbitrary real .
The first series is telescoping, since
Its th partial sum is , so
a rational number.
The second series converges absolutely, for example by the ratio test, and is the odd part of the exponential series:
This value is irrational. Indeed, if were algebraic, then would satisfy
making algebraic over the algebraic numbers and hence algebraic, contrary to the Hermite theorem on the transcendence of e. Thus the second sum is in fact transcendental.