e is irrational
From the Taylor series for we know the following equation:
(1) |
Now let us assume that is rational. This would there are two natural numbers and , such that:
This yields:
Now we can write using (1):
This can also be written:
The first sum is obviously a natural number, and thus
must also be . Now we see:
Since we conclude:
We have also seen that this is an integer, but there is no integer between 0 and 1. So there cannot exist two natural numbers and such that , so is irrational.