e is irrational
We have the series
Note that this is an alternating series and that the magnitudes of theterms decrease. Hence, for every integer , we have the bound
by the Leibniz’ estimate for alternatingseries (http://planetmath.org/LeibnizEstimateForAlternatingSeries). Assumethat , where and are integers and . Then we would have
Multiplying both sides by , this would imply
which is a contradiction because every term in the sum is an integer,but there are no integers between and .