Return to Article Details Formalizing a Proof that e is Transcendental Download Download PDF