# The Transcendence of e

 Title: The Transcendence of e Author: Manuel Eberl Submission date: 2017-01-12 Abstract: This work contains a proof that Euler's number e is transcendental. The proof follows the standard approach of assuming that e is algebraic and then using a specific integer polynomial to derive two inconsistent bounds, leading to a contradiction. This kind of approach can be found in many different sources; this formalisation mostly follows a PlanetMath article by Roger Lipsett. BibTeX: @article{E_Transcendental-AFP, author = {Manuel Eberl}, title = {The Transcendence of e}, journal = {Archive of Formal Proofs}, month = jan, year = 2017, note = {\url{https://isa-afp.org/entries/E_Transcendental.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License Used by: Pi_Transcendental, Zeta_3_Irrational