43:
1649:
1381:
1154:
2353:
1898:
934:
1341:
2479:
1644:{\displaystyle x=\sum _{n=b+1}^{\infty }{\frac {b!}{n!}}<\sum _{n=b+1}^{\infty }{\frac {1}{(b+1)^{n-b}}}=\sum _{k=1}^{\infty }{\frac {1}{(b+1)^{k}}}={\frac {1}{b+1}}\left({\frac {1}{1-{\frac {1}{b+1}}}}\right)={\frac {1}{b}}\leq 1.}
2022:
986:
2153:
745:
2142:
1703:
516:
780:
1186:
2916:
2562:
2808:
2859:
2762:
2639:
2691:
1678:
2946:
2592:
2364:
2052:
2665:
412:
2966:
2711:
2502:
205:
1924:
3443:
3418:
1149:{\displaystyle x=b!\left(\sum _{n=0}^{\infty }{\frac {1}{n!}}-\sum _{n=0}^{b}{\frac {1}{n!}}\right)=\sum _{n=b+1}^{\infty }{\frac {b!}{n!}}>0,}
3052:
2348:{\displaystyle e^{-1}-s_{2n-1}=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{k!}}-\sum _{k=0}^{2n-1}{\frac {(-1)^{k}}{k!}}<{\frac {1}{(2n)!}},}
666:
1893:{\displaystyle (b+1)x=1+{\frac {1}{b+2}}+{\frac {1}{(b+2)(b+3)}}+\cdots <1+{\frac {1}{b+1}}+{\frac {1}{(b+1)(b+2)}}+\cdots =1+x,}
2060:
198:
3061:
3515:
3192:
459:
3402:
Apostol, T. (1974). Mathematical analysis (2nd ed., Addison-Wesley series in mathematics). Reading, Mass.: Addison-Wesley.
3373:
3184:
3573:
3558:
929:{\displaystyle x=b!\left({\frac {a}{b}}-\sum _{n=0}^{b}{\frac {1}{n!}}\right)=a(b-1)!-\sum _{n=0}^{b}{\frac {b!}{n!}}.}
191:
23:
3070:
141:
1336:{\displaystyle {\frac {b!}{n!}}={\frac {1}{(b+1)(b+2)\cdots {\big (}b+(n-b){\big )}}}\leq {\frac {1}{(b+1)^{n-b}}}.}
3364:
3233:
257:
is irrational in 1737 (but the text was only published seven years later). He computed the representation of
3075:
133:
417:
Since this continued fraction is infinite and every rational number has a terminating continued fraction,
3578:
426:
421:
is irrational. A short proof of the previous equality is known. Since the simple continued fraction of
2864:
2510:
262:
219:
33:
2988:
is not a root of a second-degree polynomial with rational coefficients. This last fact implies that
2767:
607:
must be a positive integer. However, the fast convergence of the series representation implies that
3320:
3311:
2813:
2716:
179:
3568:
2597:
3095:
450:
3030:, in 1873, which means that is not a root of any polynomial with rational coefficients, as is
2670:
2474:{\displaystyle 0<(2n-1)!\left(e^{-1}-s_{2n-1}\right)<{\frac {1}{2n}}\leq {\frac {1}{2}}}
3563:
3057:
3027:
1657:
2921:
2567:
1682:
Since there is no integer strictly between 0 and 1, we have reached a contradiction, and so
3494:
3252:
2030:
939:
The first term is an integer, and every fraction in the sum is actually an integer because
62:
3489:
3004:
is not a root of a third-degree polynomial with rational coefficients, which implies that
8:
2644:
271:
83:
3256:
3385:
3340:
3332:
3268:
3242:
3152:
2951:
2696:
2487:
99:
88:
3511:
3344:
3198:
3188:
3156:
242:
103:
78:
57:
3175:
3503:
3377:
3324:
3260:
3142:
3134:
3037:
2977:
1372:
433:
is not a root of a quadratic polynomial with rational coefficients; in particular,
234:
2017:{\displaystyle {\frac {1}{e}}=e^{-1}=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{n!}}.}
3531:
3499:
3227:
Cohn, Henry (2006). "A short proof of the simple continued fraction expansion of
3019:
2992:
is irrational. His proofs are similar to
Fourier's proof of the irrationality of
623:
226:
446:
230:
162:
3507:
3122:
2918:
would be an integer. But from the above inequality, that is not possible. So,
611:
is still strictly smaller than 1. From this contradiction we deduce that
3552:
3485:
3437:
Liouville, Joseph (1840). "Addition à la note sur l'irrationnalité du nombre
2997:
3471:
3305:
MacDivitt, A. R. G.; Yanagisawa, Yukio (1987). "An elementary proof that
157:
3272:
3000:
explained how it is possible to prove along the same line of ideas that
245:; that is, that it cannot be expressed as the quotient of two integers.
3389:
3336:
3138:
3147:
3264:
3247:
3215:
565:
545:. The idea is to then analyze the scaled-up difference (here denoted
93:
3381:
3328:
42:
1697:
Another proof can be obtained from the previous one by noting that
972:
is strictly positive, we insert the above series representation of
3462:
3202:
740:{\displaystyle x=b!\left(e-\sum _{n=0}^{b}{\frac {1}{n!}}\right).}
600:
1687:
3216:
A Short Proof of the Simple
Continued Fraction Expansion of e
2137:{\displaystyle s_{n}=\sum _{k=0}^{n}{\frac {(-1)^{k}}{k!}}.}
3412:
Liouville, Joseph (1840). "Sur l'irrationalité du nombre
1907: < 1. This is impossible, of course, since
1903:
and this inequality is equivalent to the assertion that
16:
Mathematical proof that Euler's number (e) is irrational
1918:
Still another proof can be obtained from the fact that
511:{\displaystyle e=\sum _{n=0}^{\infty }{\frac {1}{n!}}.}
2954:
2924:
2867:
2816:
2770:
2719:
2699:
2673:
2647:
2600:
2570:
2513:
2490:
2367:
2156:
2063:
2033:
1927:
1706:
1660:
1384:
1189:
989:
783:
669:
462:
274:
3170:
Sandifer, C. Edward (2007). "Chapter 32: Who proved
949:
for each term. Therefore, under the assumption that
233:, who had been a student of Jacob's younger brother
3304:
560:partial sum, which approximates the limiting value
3536:Comptes rendus de l'Académie des Sciences de Paris
2960:
2940:
2910:
2853:
2802:
2756:
2705:
2685:
2659:
2633:
2586:
2556:
2496:
2473:
2347:
2136:
2046:
2016:
1892:
1672:
1643:
1335:
1148:
928:
739:
510:
406:
3550:
3104:Commentarii Academiae Scientiarum Petropolitanae
3098:[A dissertation on continued fractions]
2810:Hence, for this choice, the difference between
525:is assumed to be a rational number of the form
3484:
3358:Penesi, L. L. (1953). "Elementary proof that
3288:Mélanges d'Analyse Algébrique et de Géométrie
3285:
3053:Characterizations of the exponential function
1282:
1254:
1159:because all the terms are strictly positive.
253:Euler wrote the first proof of the fact that
199:
3444:Journal de Mathématiques Pures et Appliquées
3419:Journal de Mathématiques Pures et Appliquées
3292:A mixture of Algebraic Analysis and Geometry
206:
192:
3534:(1873). "Sur la fonction exponentielle".
3436:
3411:
3246:
3146:
564:. By choosing the scale factor to be the
229:in 1683. More than half a century later,
3294:]. Veuve Courcier. pp. 340–341.
3169:
3012:is irrational for any non-zero rational
3530:
3461:
3096:"De fractionibus continuis dissertatio"
2984:is irrational followed by a proof that
2693:It is possible to appropriately choose
549:) between the series representation of
3551:
3357:
3120:
3093:
1357:. Changing the index of summation to
3226:
1346:This inequality is strict for every
3374:Mathematical Association of America
3185:Mathematical Association of America
2980:published a proof of the fact that
1692:
453:, which is based upon the equality
13:
3498:(4th ed.). Berlin, New York:
2971:
2564:is always an integer. Assume that
2211:
1973:
1524:
1463:
1413:
1112:
1023:
485:
440:
14:
3590:
3470:(in German). Vol. 2. Basel:
3123:"An essay on continued fractions"
626:, there exist positive integers
248:
41:
3524:
3478:
3455:
3430:
3405:
3008:is irrational. More generally,
2948:is irrational. This means that
2911:{\displaystyle (2n-1)!s_{2n-1}}
2557:{\displaystyle (2n-1)!s_{2n-1}}
3396:
3351:
3298:
3279:
3220:
3209:
3163:
3114:
3087:
2883:
2868:
2832:
2817:
2803:{\displaystyle n\geq (q+1)/2.}
2789:
2777:
2735:
2720:
2529:
2514:
2389:
2374:
2333:
2324:
2295:
2285:
2229:
2219:
2111:
2101:
1991:
1981:
1863:
1851:
1848:
1836:
1788:
1776:
1773:
1761:
1719:
1707:
1548:
1535:
1487:
1474:
1371:and using the formula for the
1312:
1299:
1277:
1265:
1246:
1234:
1231:
1219:
873:
861:
398:
281:
1:
3365:American Mathematical Monthly
3286:de Stainville, Janot (1815).
3234:American Mathematical Monthly
3081:
3071:Lindemann–Weierstrass theorem
2854:{\displaystyle (2n-1)!e^{-1}}
2757:{\displaystyle (2n-1)!e^{-1}}
445:The most well-known proof is
142:Lindemann–Weierstrass theorem
599:partial sum are turned into
7:
3127:Mathematical Systems Theory
3046:
2634:{\displaystyle e^{-1}=p/q,}
1180:we have the upper estimate
10:
3595:
3076:Proof that π is irrational
3574:E (mathematical constant)
3559:Diophantine approximation
3508:10.1007/978-3-642-00856-6
2484:for any positive integer
1373:infinite geometric series
553:and its strictly smaller
263:simple continued fraction
3321:Mathematical Association
3312:The Mathematical Gazette
3121:Euler, Leonhard (1985).
3094:Euler, Leonhard (1744).
2686:{\displaystyle q\neq 0.}
750:Use the assumption that
618:Now for the details. If
429:, this also proves that
1915:are positive integers.
1673:{\displaystyle x<1.}
976:into the definition of
968:. First, to prove that
2962:
2942:
2941:{\displaystyle e^{-1}}
2912:
2855:
2804:
2758:
2707:
2687:
2661:
2635:
2588:
2587:{\displaystyle e^{-1}}
2558:
2498:
2475:
2349:
2281:
2215:
2138:
2097:
2048:
2018:
1977:
1894:
1674:
1645:
1528:
1467:
1417:
1337:
1150:
1116:
1066:
1027:
930:
902:
834:
741:
713:
512:
489:
451:proof by contradiction
408:
31:mathematical constant
3058:Transcendental number
3028:transcendental number
2963:
2943:
2913:
2856:
2805:
2759:
2708:
2688:
2662:
2636:
2589:
2559:
2499:
2476:
2350:
2252:
2195:
2139:
2077:
2049:
2047:{\displaystyle s_{n}}
2019:
1957:
1895:
1675:
1646:
1508:
1441:
1391:
1338:
1169:. For all terms with
1151:
1090:
1046:
1007:
931:
882:
814:
742:
693:
513:
469:
409:
180:Schanuel's conjecture
3495:Proofs from THE BOOK
3187:. pp. 185–190.
3022:further proved that
2952:
2922:
2865:
2814:
2768:
2764:is an integer, i.e.
2717:
2697:
2671:
2645:
2598:
2568:
2511:
2488:
2365:
2154:
2061:
2031:
1925:
1704:
1658:
1382:
1187:
987:
781:
667:
660:. Define the number
460:
272:
63:Exponential function
24:a series of articles
3474:. pp. 129–133.
3468:Mathematische Werke
3257:2006math......1660C
2660:{\displaystyle p,q}
407:{\displaystyle e=.}
134:representations of
3579:Irrational numbers
3502:. pp. 27–36.
3490:Ziegler, GĂĽnter M.
3139:10.1007/bf01699475
2958:
2938:
2908:
2851:
2800:
2754:
2703:
2683:
2667:are co-prime, and
2657:
2631:
2584:
2554:
2494:
2471:
2345:
2134:
2044:
2014:
1890:
1670:
1641:
1333:
1162:We now prove that
1146:
960:We now prove that
926:
737:
508:
404:
225:was introduced by
3517:978-3-642-00855-9
3447:. 1 (in French).
3422:. 1 (in French).
3194:978-0-88385-563-8
3174:is irrational?".
3066:is transcendental
3036:for any non-zero
2961:{\displaystyle e}
2706:{\displaystyle n}
2497:{\displaystyle n}
2469:
2456:
2340:
2313:
2247:
2129:
2009:
1936:
1867:
1825:
1792:
1750:
1633:
1616:
1613:
1579:
1558:
1503:
1436:
1328:
1288:
1208:
1135:
1080:
1041:
921:
848:
809:
727:
503:
216:
215:
79:compound interest
58:Natural logarithm
3586:
3544:
3543:
3528:
3522:
3521:
3482:
3476:
3475:
3459:
3453:
3452:
3434:
3428:
3427:
3409:
3403:
3400:
3394:
3393:
3362:is irrational".
3355:
3349:
3348:
3309:is irrational".
3302:
3296:
3295:
3283:
3277:
3276:
3265:10.2307/27641837
3250:
3224:
3218:
3213:
3207:
3206:
3182:
3177:How Euler did it
3167:
3161:
3160:
3150:
3118:
3112:
3111:
3101:
3091:
3035:
2967:
2965:
2964:
2959:
2947:
2945:
2944:
2939:
2937:
2936:
2917:
2915:
2914:
2909:
2907:
2906:
2860:
2858:
2857:
2852:
2850:
2849:
2809:
2807:
2806:
2801:
2796:
2763:
2761:
2760:
2755:
2753:
2752:
2712:
2710:
2709:
2704:
2692:
2690:
2689:
2684:
2666:
2664:
2663:
2658:
2640:
2638:
2637:
2632:
2624:
2613:
2612:
2594:is rational, so
2593:
2591:
2590:
2585:
2583:
2582:
2563:
2561:
2560:
2555:
2553:
2552:
2503:
2501:
2500:
2495:
2480:
2478:
2477:
2472:
2470:
2462:
2457:
2455:
2444:
2439:
2435:
2434:
2433:
2412:
2411:
2354:
2352:
2351:
2346:
2341:
2339:
2319:
2314:
2312:
2304:
2303:
2302:
2283:
2280:
2266:
2248:
2246:
2238:
2237:
2236:
2217:
2214:
2209:
2191:
2190:
2169:
2168:
2143:
2141:
2140:
2135:
2130:
2128:
2120:
2119:
2118:
2099:
2096:
2091:
2073:
2072:
2053:
2051:
2050:
2045:
2043:
2042:
2023:
2021:
2020:
2015:
2010:
2008:
2000:
1999:
1998:
1979:
1976:
1971:
1953:
1952:
1937:
1929:
1899:
1897:
1896:
1891:
1868:
1866:
1831:
1826:
1824:
1810:
1793:
1791:
1756:
1751:
1749:
1735:
1693:Alternate proofs
1679:
1677:
1676:
1671:
1650:
1648:
1647:
1642:
1634:
1626:
1621:
1617:
1615:
1614:
1612:
1598:
1586:
1580:
1578:
1564:
1559:
1557:
1556:
1555:
1530:
1527:
1522:
1504:
1502:
1501:
1500:
1469:
1466:
1461:
1437:
1435:
1427:
1419:
1416:
1411:
1370:
1356:
1342:
1340:
1339:
1334:
1329:
1327:
1326:
1325:
1294:
1289:
1287:
1286:
1285:
1258:
1257:
1214:
1209:
1207:
1199:
1191:
1179:
1168:
1155:
1153:
1152:
1147:
1136:
1134:
1126:
1118:
1115:
1110:
1086:
1082:
1081:
1079:
1068:
1065:
1060:
1042:
1040:
1029:
1026:
1021:
967:
948:
935:
933:
932:
927:
922:
920:
912:
904:
901:
896:
854:
850:
849:
847:
836:
833:
828:
810:
802:
773:
771:
770:
765:
762:
746:
744:
743:
738:
733:
729:
728:
726:
715:
712:
707:
659:
658:
656:
655:
650:
647:
598:
591:
589:
588:
583:
580:
559:
544:
542:
541:
536:
533:
517:
515:
514:
509:
504:
502:
491:
488:
483:
413:
411:
410:
405:
208:
201:
194:
137:
128:
117:
84:Euler's identity
45:
36:
19:
18:
3594:
3593:
3589:
3588:
3587:
3585:
3584:
3583:
3549:
3548:
3547:
3529:
3525:
3518:
3500:Springer-Verlag
3483:
3479:
3460:
3456:
3435:
3431:
3410:
3406:
3401:
3397:
3382:10.2307/2308411
3356:
3352:
3329:10.2307/3616765
3319:(457). London:
3303:
3299:
3284:
3280:
3225:
3221:
3214:
3210:
3195:
3180:
3168:
3164:
3119:
3115:
3099:
3092:
3088:
3084:
3049:
3031:
3020:Charles Hermite
2974:
2972:Generalizations
2968:is irrational.
2953:
2950:
2949:
2929:
2925:
2923:
2920:
2919:
2893:
2889:
2866:
2863:
2862:
2842:
2838:
2815:
2812:
2811:
2792:
2769:
2766:
2765:
2745:
2741:
2718:
2715:
2714:
2698:
2695:
2694:
2672:
2669:
2668:
2646:
2643:
2642:
2620:
2605:
2601:
2599:
2596:
2595:
2575:
2571:
2569:
2566:
2565:
2539:
2535:
2512:
2509:
2508:
2489:
2486:
2485:
2461:
2448:
2443:
2420:
2416:
2404:
2400:
2399:
2395:
2366:
2363:
2362:
2323:
2318:
2305:
2298:
2294:
2284:
2282:
2267:
2256:
2239:
2232:
2228:
2218:
2216:
2210:
2199:
2177:
2173:
2161:
2157:
2155:
2152:
2151:
2121:
2114:
2110:
2100:
2098:
2092:
2081:
2068:
2064:
2062:
2059:
2058:
2038:
2034:
2032:
2029:
2028:
2001:
1994:
1990:
1980:
1978:
1972:
1961:
1945:
1941:
1928:
1926:
1923:
1922:
1835:
1830:
1814:
1809:
1760:
1755:
1739:
1734:
1705:
1702:
1701:
1695:
1686:is irrational,
1659:
1656:
1655:
1625:
1602:
1597:
1590:
1585:
1581:
1568:
1563:
1551:
1547:
1534:
1529:
1523:
1512:
1490:
1486:
1473:
1468:
1462:
1445:
1428:
1420:
1418:
1412:
1395:
1383:
1380:
1379:
1358:
1347:
1315:
1311:
1298:
1293:
1281:
1280:
1253:
1252:
1218:
1213:
1200:
1192:
1190:
1188:
1185:
1184:
1170:
1163:
1127:
1119:
1117:
1111:
1094:
1072:
1067:
1061:
1050:
1033:
1028:
1022:
1011:
1006:
1002:
988:
985:
984:
961:
957:is an integer.
940:
913:
905:
903:
897:
886:
840:
835:
829:
818:
801:
800:
796:
782:
779:
778:
766:
763:
758:
757:
755:
719:
714:
708:
697:
686:
682:
668:
665:
664:
651:
648:
643:
642:
640:
635:
624:rational number
615:is irrational.
593:
584:
581:
576:
575:
573:
572:, the fraction
554:
537:
534:
529:
528:
526:
495:
490:
484:
473:
461:
458:
457:
443:
441:Fourier's proof
437:is irrational.
273:
270:
269:
251:
227:Jacob Bernoulli
212:
165:
135:
126:
115:
89:Euler's formula
32:
17:
12:
11:
5:
3592:
3582:
3581:
3576:
3571:
3569:Article proofs
3566:
3561:
3546:
3545:
3523:
3516:
3486:Aigner, Martin
3477:
3454:
3429:
3404:
3395:
3350:
3297:
3278:
3219:
3208:
3193:
3162:
3113:
3085:
3083:
3080:
3079:
3078:
3073:
3068:
3060:, including a
3055:
3048:
3045:
2973:
2970:
2957:
2935:
2932:
2928:
2905:
2902:
2899:
2896:
2892:
2888:
2885:
2882:
2879:
2876:
2873:
2870:
2848:
2845:
2841:
2837:
2834:
2831:
2828:
2825:
2822:
2819:
2799:
2795:
2791:
2788:
2785:
2782:
2779:
2776:
2773:
2751:
2748:
2744:
2740:
2737:
2734:
2731:
2728:
2725:
2722:
2702:
2682:
2679:
2676:
2656:
2653:
2650:
2630:
2627:
2623:
2619:
2616:
2611:
2608:
2604:
2581:
2578:
2574:
2551:
2548:
2545:
2542:
2538:
2534:
2531:
2528:
2525:
2522:
2519:
2516:
2493:
2482:
2481:
2468:
2465:
2460:
2454:
2451:
2447:
2442:
2438:
2432:
2429:
2426:
2423:
2419:
2415:
2410:
2407:
2403:
2398:
2394:
2391:
2388:
2385:
2382:
2379:
2376:
2373:
2370:
2358:which implies
2356:
2355:
2344:
2338:
2335:
2332:
2329:
2326:
2322:
2317:
2311:
2308:
2301:
2297:
2293:
2290:
2287:
2279:
2276:
2273:
2270:
2265:
2262:
2259:
2255:
2251:
2245:
2242:
2235:
2231:
2227:
2224:
2221:
2213:
2208:
2205:
2202:
2198:
2194:
2189:
2186:
2183:
2180:
2176:
2172:
2167:
2164:
2160:
2145:
2144:
2133:
2127:
2124:
2117:
2113:
2109:
2106:
2103:
2095:
2090:
2087:
2084:
2080:
2076:
2071:
2067:
2041:
2037:
2025:
2024:
2013:
2007:
2004:
1997:
1993:
1989:
1986:
1983:
1975:
1970:
1967:
1964:
1960:
1956:
1951:
1948:
1944:
1940:
1935:
1932:
1901:
1900:
1889:
1886:
1883:
1880:
1877:
1874:
1871:
1865:
1862:
1859:
1856:
1853:
1850:
1847:
1844:
1841:
1838:
1834:
1829:
1823:
1820:
1817:
1813:
1808:
1805:
1802:
1799:
1796:
1790:
1787:
1784:
1781:
1778:
1775:
1772:
1769:
1766:
1763:
1759:
1754:
1748:
1745:
1742:
1738:
1733:
1730:
1727:
1724:
1721:
1718:
1715:
1712:
1709:
1694:
1691:
1669:
1666:
1663:
1654:And therefore
1652:
1651:
1640:
1637:
1632:
1629:
1624:
1620:
1611:
1608:
1605:
1601:
1596:
1593:
1589:
1584:
1577:
1574:
1571:
1567:
1562:
1554:
1550:
1546:
1543:
1540:
1537:
1533:
1526:
1521:
1518:
1515:
1511:
1507:
1499:
1496:
1493:
1489:
1485:
1482:
1479:
1476:
1472:
1465:
1460:
1457:
1454:
1451:
1448:
1444:
1440:
1434:
1431:
1426:
1423:
1415:
1410:
1407:
1404:
1401:
1398:
1394:
1390:
1387:
1344:
1343:
1332:
1324:
1321:
1318:
1314:
1310:
1307:
1304:
1301:
1297:
1292:
1284:
1279:
1276:
1273:
1270:
1267:
1264:
1261:
1256:
1251:
1248:
1245:
1242:
1239:
1236:
1233:
1230:
1227:
1224:
1221:
1217:
1212:
1206:
1203:
1198:
1195:
1157:
1156:
1145:
1142:
1139:
1133:
1130:
1125:
1122:
1114:
1109:
1106:
1103:
1100:
1097:
1093:
1089:
1085:
1078:
1075:
1071:
1064:
1059:
1056:
1053:
1049:
1045:
1039:
1036:
1032:
1025:
1020:
1017:
1014:
1010:
1005:
1001:
998:
995:
992:
937:
936:
925:
919:
916:
911:
908:
900:
895:
892:
889:
885:
881:
878:
875:
872:
869:
866:
863:
860:
857:
853:
846:
843:
839:
832:
827:
824:
821:
817:
813:
808:
805:
799:
795:
792:
789:
786:
748:
747:
736:
732:
725:
722:
718:
711:
706:
703:
700:
696:
692:
689:
685:
681:
678:
675:
672:
519:
518:
507:
501:
498:
494:
487:
482:
479:
476:
472:
468:
465:
447:Joseph Fourier
442:
439:
415:
414:
403:
400:
397:
394:
391:
388:
385:
382:
379:
376:
373:
370:
367:
364:
361:
358:
355:
352:
349:
346:
343:
340:
337:
334:
331:
328:
325:
322:
319:
316:
313:
310:
307:
304:
301:
298:
295:
292:
289:
286:
283:
280:
277:
250:
247:
237:, proved that
214:
213:
211:
210:
203:
196:
188:
185:
184:
183:
182:
174:
173:
172:Related topics
169:
168:
167:
166:
163:Leonhard Euler
160:
152:
151:
147:
146:
145:
144:
139:
131:
119:
118:
111:
110:
109:
108:
107:
106:
91:
86:
81:
73:
72:
68:
67:
66:
65:
60:
52:
51:
47:
46:
38:
37:
28:
27:
15:
9:
6:
4:
3:
2:
3591:
3580:
3577:
3575:
3572:
3570:
3567:
3565:
3562:
3560:
3557:
3556:
3554:
3541:
3538:(in French).
3537:
3533:
3527:
3519:
3513:
3509:
3505:
3501:
3497:
3496:
3491:
3487:
3481:
3473:
3469:
3465:
3458:
3450:
3446:
3445:
3440:
3433:
3425:
3421:
3420:
3415:
3408:
3399:
3391:
3387:
3383:
3379:
3375:
3371:
3367:
3366:
3361:
3354:
3346:
3342:
3338:
3334:
3330:
3326:
3322:
3318:
3314:
3313:
3308:
3301:
3293:
3289:
3282:
3274:
3270:
3266:
3262:
3258:
3254:
3249:
3244:
3240:
3236:
3235:
3230:
3223:
3217:
3212:
3204:
3200:
3196:
3190:
3186:
3179:
3178:
3173:
3166:
3158:
3154:
3149:
3144:
3140:
3136:
3132:
3128:
3124:
3117:
3109:
3105:
3097:
3090:
3086:
3077:
3074:
3072:
3069:
3067:
3065:
3059:
3056:
3054:
3051:
3050:
3044:
3042:
3039:
3034:
3029:
3025:
3021:
3017:
3015:
3011:
3007:
3003:
2999:
2995:
2991:
2987:
2983:
2979:
2969:
2955:
2933:
2930:
2926:
2903:
2900:
2897:
2894:
2890:
2886:
2880:
2877:
2874:
2871:
2846:
2843:
2839:
2835:
2829:
2826:
2823:
2820:
2797:
2793:
2786:
2783:
2780:
2774:
2771:
2749:
2746:
2742:
2738:
2732:
2729:
2726:
2723:
2700:
2680:
2677:
2674:
2654:
2651:
2648:
2628:
2625:
2621:
2617:
2614:
2609:
2606:
2602:
2579:
2576:
2572:
2549:
2546:
2543:
2540:
2536:
2532:
2526:
2523:
2520:
2517:
2505:
2491:
2466:
2463:
2458:
2452:
2449:
2445:
2440:
2436:
2430:
2427:
2424:
2421:
2417:
2413:
2408:
2405:
2401:
2396:
2392:
2386:
2383:
2380:
2377:
2371:
2368:
2361:
2360:
2359:
2342:
2336:
2330:
2327:
2320:
2315:
2309:
2306:
2299:
2291:
2288:
2277:
2274:
2271:
2268:
2263:
2260:
2257:
2253:
2249:
2243:
2240:
2233:
2225:
2222:
2206:
2203:
2200:
2196:
2192:
2187:
2184:
2181:
2178:
2174:
2170:
2165:
2162:
2158:
2150:
2149:
2148:
2131:
2125:
2122:
2115:
2107:
2104:
2093:
2088:
2085:
2082:
2078:
2074:
2069:
2065:
2057:
2056:
2055:
2039:
2035:
2011:
2005:
2002:
1995:
1987:
1984:
1968:
1965:
1962:
1958:
1954:
1949:
1946:
1942:
1938:
1933:
1930:
1921:
1920:
1919:
1916:
1914:
1910:
1906:
1887:
1884:
1881:
1878:
1875:
1872:
1869:
1860:
1857:
1854:
1845:
1842:
1839:
1832:
1827:
1821:
1818:
1815:
1811:
1806:
1803:
1800:
1797:
1794:
1785:
1782:
1779:
1770:
1767:
1764:
1757:
1752:
1746:
1743:
1740:
1736:
1731:
1728:
1725:
1722:
1716:
1713:
1710:
1700:
1699:
1698:
1690:
1689:
1685:
1680:
1667:
1664:
1661:
1638:
1635:
1630:
1627:
1622:
1618:
1609:
1606:
1603:
1599:
1594:
1591:
1587:
1582:
1575:
1572:
1569:
1565:
1560:
1552:
1544:
1541:
1538:
1531:
1519:
1516:
1513:
1509:
1505:
1497:
1494:
1491:
1483:
1480:
1477:
1470:
1458:
1455:
1452:
1449:
1446:
1442:
1438:
1432:
1429:
1424:
1421:
1408:
1405:
1402:
1399:
1396:
1392:
1388:
1385:
1378:
1377:
1376:
1374:
1369:
1365:
1361:
1354:
1350:
1330:
1322:
1319:
1316:
1308:
1305:
1302:
1295:
1290:
1274:
1271:
1268:
1262:
1259:
1249:
1243:
1240:
1237:
1228:
1225:
1222:
1215:
1210:
1204:
1201:
1196:
1193:
1183:
1182:
1181:
1177:
1173:
1166:
1160:
1143:
1140:
1137:
1131:
1128:
1123:
1120:
1107:
1104:
1101:
1098:
1095:
1091:
1087:
1083:
1076:
1073:
1069:
1062:
1057:
1054:
1051:
1047:
1043:
1037:
1034:
1030:
1018:
1015:
1012:
1008:
1003:
999:
996:
993:
990:
983:
982:
981:
979:
975:
971:
965:
958:
956:
953:is rational,
952:
947:
943:
923:
917:
914:
909:
906:
898:
893:
890:
887:
883:
879:
876:
870:
867:
864:
858:
855:
851:
844:
841:
837:
830:
825:
822:
819:
815:
811:
806:
803:
797:
793:
790:
787:
784:
777:
776:
775:
769:
761:
753:
734:
730:
723:
720:
716:
709:
704:
701:
698:
694:
690:
687:
683:
679:
676:
673:
670:
663:
662:
661:
654:
646:
638:
633:
629:
625:
621:
616:
614:
610:
606:
602:
596:
587:
579:
571:
567:
563:
557:
552:
548:
540:
532:
524:
505:
499:
496:
492:
480:
477:
474:
470:
466:
463:
456:
455:
454:
452:
448:
438:
436:
432:
428:
424:
420:
401:
395:
392:
389:
386:
383:
380:
377:
374:
371:
368:
365:
362:
359:
356:
353:
350:
347:
344:
341:
338:
335:
332:
329:
326:
323:
320:
317:
314:
311:
308:
305:
302:
299:
296:
293:
290:
287:
284:
278:
275:
268:
267:
266:
264:
260:
256:
249:Euler's proof
246:
244:
240:
236:
232:
228:
224:
223:
209:
204:
202:
197:
195:
190:
189:
187:
186:
181:
178:
177:
176:
175:
171:
170:
164:
161:
159:
156:
155:
154:
153:
149:
148:
143:
140:
138:
132:
130:
129:is irrational
123:
122:
121:
120:
113:
112:
105:
101:
97:
96:
95:
92:
90:
87:
85:
82:
80:
77:
76:
75:
74:
70:
69:
64:
61:
59:
56:
55:
54:
53:
49:
48:
44:
40:
39:
35:
30:
29:
25:
21:
20:
3564:Exponentials
3539:
3535:
3526:
3493:
3480:
3467:
3463:
3457:
3448:
3442:
3438:
3432:
3423:
3417:
3413:
3407:
3398:
3369:
3363:
3359:
3353:
3316:
3310:
3306:
3300:
3291:
3287:
3281:
3248:math/0601660
3241:(1): 57–62.
3238:
3232:
3228:
3222:
3211:
3176:
3171:
3165:
3130:
3126:
3116:
3107:
3103:
3089:
3063:
3040:
3032:
3023:
3018:
3013:
3009:
3005:
3001:
2993:
2989:
2985:
2981:
2975:
2506:
2483:
2357:
2146:
2054:as follows:
2026:
1917:
1912:
1908:
1904:
1902:
1696:
1683:
1681:
1653:
1375:, we obtain
1367:
1363:
1359:
1352:
1348:
1345:
1175:
1171:
1164:
1161:
1158:
977:
973:
969:
963:
959:
954:
950:
945:
941:
938:
767:
759:
751:
749:
652:
644:
636:
631:
627:
619:
617:
612:
608:
604:
594:
585:
577:
569:
561:
555:
550:
546:
538:
530:
522:
520:
444:
434:
430:
422:
418:
416:
258:
254:
252:
238:
221:
217:
124:
98:exponential
71:Applications
3532:Hermite, C.
3416:= 2,718…".
3133:: 295–398.
3062:proof that
2996:. In 1891,
980:and obtain
265:, which is
158:John Napier
125:proof that
3553:Categories
3472:Birkhäuser
3451:: 193–194.
3203:2007927658
3148:1811/32133
3082:References
2507:Note that
774:to obtain
634:such that
521:Initially
243:irrational
94:half-lives
50:Properties
3345:125352483
3157:126941824
3110:: 98–137.
3038:algebraic
2978:Liouville
2976:In 1840,
2931:−
2901:−
2878:−
2844:−
2827:−
2775:≥
2747:−
2730:−
2678:≠
2607:−
2577:−
2547:−
2524:−
2459:≤
2428:−
2414:−
2406:−
2384:−
2289:−
2275:−
2254:∑
2250:−
2223:−
2212:∞
2197:∑
2185:−
2171:−
2163:−
2105:−
2079:∑
1985:−
1974:∞
1959:∑
1947:−
1873:⋯
1798:⋯
1636:≤
1595:−
1525:∞
1510:∑
1495:−
1464:∞
1443:∑
1414:∞
1393:∑
1320:−
1291:≤
1272:−
1250:⋯
1113:∞
1092:∑
1048:∑
1044:−
1024:∞
1009:∑
884:∑
880:−
868:−
816:∑
812:−
695:∑
691:−
566:factorial
486:∞
471:∑
396:…
369:…
114:Defining
3542:: 18–24.
3492:(1998).
3273:27641837
3047:See also
2713:so that
603:, hence
601:integers
592:and the
568:of
427:periodic
22:Part of
3390:2308411
3376:: 474.
3337:3616765
3323:: 217.
3253:Bibcode
2998:Hurwitz
2027:Define
962:0 <
772:
756:
657:
641:
590:
574:
543:
527:
425:is not
220:number
3514:
3426:: 192.
3388:
3343:
3335:
3271:
3201:
3191:
3155:
3041:α
2641:where
1688:Q.E.D.
1167:< 1
966:< 1
235:Johann
150:People
100:growth
26:on the
3386:JSTOR
3372:(7).
3341:S2CID
3333:JSTOR
3290:[
3269:JSTOR
3243:arXiv
3181:(PDF)
3153:S2CID
3100:(PDF)
3026:is a
2147:Then
622:is a
261:as a
231:Euler
104:decay
3512:ISBN
3199:LCCN
3189:ISBN
2861:and
2441:<
2372:<
2316:<
1911:and
1801:<
1665:<
1439:<
1138:>
630:and
218:The
102:and
3504:doi
3466:".
3441:".
3378:doi
3325:doi
3261:doi
3239:113
3231:".
3143:hdl
3135:doi
1355:+ 2
1178:+ 1
597:-th
558:-th
449:'s
241:is
3555::
3540:77
3510:.
3488:;
3384:.
3370:60
3368:.
3339:.
3331:.
3317:71
3315:.
3267:.
3259:.
3251:.
3237:.
3197:.
3183:.
3151:.
3141:.
3131:18
3129:.
3125:.
3106:.
3102:.
3043:.
3016:.
2798:2.
2681:0.
2504:.
1905:bx
1668:1.
1639:1.
1366:–
1362:=
1351:≥
1174:≥
944:≤
754:=
639:=
3520:.
3506::
3464:e
3449:5
3439:e
3424:5
3414:e
3392:.
3380::
3360:e
3347:.
3327::
3307:e
3275:.
3263::
3255::
3245::
3229:e
3205:.
3172:e
3159:.
3145::
3137::
3108:9
3064:e
3033:e
3024:e
3014:q
3010:e
3006:e
3002:e
2994:e
2990:e
2986:e
2982:e
2956:e
2934:1
2927:e
2904:1
2898:n
2895:2
2891:s
2887:!
2884:)
2881:1
2875:n
2872:2
2869:(
2847:1
2840:e
2836:!
2833:)
2830:1
2824:n
2821:2
2818:(
2794:/
2790:)
2787:1
2784:+
2781:q
2778:(
2772:n
2750:1
2743:e
2739:!
2736:)
2733:1
2727:n
2724:2
2721:(
2701:n
2675:q
2655:q
2652:,
2649:p
2629:,
2626:q
2622:/
2618:p
2615:=
2610:1
2603:e
2580:1
2573:e
2550:1
2544:n
2541:2
2537:s
2533:!
2530:)
2527:1
2521:n
2518:2
2515:(
2492:n
2467:2
2464:1
2453:n
2450:2
2446:1
2437:)
2431:1
2425:n
2422:2
2418:s
2409:1
2402:e
2397:(
2393:!
2390:)
2387:1
2381:n
2378:2
2375:(
2369:0
2343:,
2337:!
2334:)
2331:n
2328:2
2325:(
2321:1
2310:!
2307:k
2300:k
2296:)
2292:1
2286:(
2278:1
2272:n
2269:2
2264:0
2261:=
2258:k
2244:!
2241:k
2234:k
2230:)
2226:1
2220:(
2207:0
2204:=
2201:k
2193:=
2188:1
2182:n
2179:2
2175:s
2166:1
2159:e
2132:.
2126:!
2123:k
2116:k
2112:)
2108:1
2102:(
2094:n
2089:0
2086:=
2083:k
2075:=
2070:n
2066:s
2040:n
2036:s
2012:.
2006:!
2003:n
1996:n
1992:)
1988:1
1982:(
1969:0
1966:=
1963:n
1955:=
1950:1
1943:e
1939:=
1934:e
1931:1
1913:x
1909:b
1888:,
1885:x
1882:+
1879:1
1876:=
1870:+
1864:)
1861:2
1858:+
1855:b
1852:(
1849:)
1846:1
1843:+
1840:b
1837:(
1833:1
1828:+
1822:1
1819:+
1816:b
1812:1
1807:+
1804:1
1795:+
1789:)
1786:3
1783:+
1780:b
1777:(
1774:)
1771:2
1768:+
1765:b
1762:(
1758:1
1753:+
1747:2
1744:+
1741:b
1737:1
1732:+
1729:1
1726:=
1723:x
1720:)
1717:1
1714:+
1711:b
1708:(
1684:e
1662:x
1631:b
1628:1
1623:=
1619:)
1610:1
1607:+
1604:b
1600:1
1592:1
1588:1
1583:(
1576:1
1573:+
1570:b
1566:1
1561:=
1553:k
1549:)
1545:1
1542:+
1539:b
1536:(
1532:1
1520:1
1517:=
1514:k
1506:=
1498:b
1492:n
1488:)
1484:1
1481:+
1478:b
1475:(
1471:1
1459:1
1456:+
1453:b
1450:=
1447:n
1433:!
1430:n
1425:!
1422:b
1409:1
1406:+
1403:b
1400:=
1397:n
1389:=
1386:x
1368:b
1364:n
1360:k
1353:b
1349:n
1331:.
1323:b
1317:n
1313:)
1309:1
1306:+
1303:b
1300:(
1296:1
1283:)
1278:)
1275:b
1269:n
1266:(
1263:+
1260:b
1255:(
1247:)
1244:2
1241:+
1238:b
1235:(
1232:)
1229:1
1226:+
1223:b
1220:(
1216:1
1211:=
1205:!
1202:n
1197:!
1194:b
1176:b
1172:n
1165:x
1144:,
1141:0
1132:!
1129:n
1124:!
1121:b
1108:1
1105:+
1102:b
1099:=
1096:n
1088:=
1084:)
1077:!
1074:n
1070:1
1063:b
1058:0
1055:=
1052:n
1038:!
1035:n
1031:1
1019:0
1016:=
1013:n
1004:(
1000:!
997:b
994:=
991:x
978:x
974:e
970:x
964:x
955:x
951:e
946:b
942:n
924:.
918:!
915:n
910:!
907:b
899:b
894:0
891:=
888:n
877:!
874:)
871:1
865:b
862:(
859:a
856:=
852:)
845:!
842:n
838:1
831:b
826:0
823:=
820:n
807:b
804:a
798:(
794:!
791:b
788:=
785:x
768:b
764:/
760:a
752:e
735:.
731:)
724:!
721:n
717:1
710:b
705:0
702:=
699:n
688:e
684:(
680:!
677:b
674:=
671:x
653:b
649:/
645:a
637:e
632:b
628:a
620:e
613:e
609:x
605:x
595:b
586:b
582:/
578:a
570:b
562:e
556:b
551:e
547:x
539:b
535:/
531:a
523:e
506:.
500:!
497:n
493:1
481:0
478:=
475:n
467:=
464:e
435:e
431:e
423:e
419:e
402:.
399:]
393:,
390:1
387:,
384:1
381:,
378:n
375:2
372:,
366:,
363:1
360:,
357:1
354:,
351:8
348:,
345:1
342:,
339:1
336:,
333:6
330:,
327:1
324:,
321:1
318:,
315:4
312:,
309:1
306:,
303:1
300:,
297:2
294:,
291:1
288:;
285:2
282:[
279:=
276:e
259:e
255:e
239:e
222:e
207:e
200:t
193:v
136:e
127:e
116:e
34:e
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.