Remark
Tag 08B3, permanent. Cite it as [Bourbaki, Tag 08B3].
Functions of a Real Variable, chapter III, § 2. EXPANSIONS OF THE EXPONENTIAL AND CIRCULAR FUNCTIONS AND OF THE FUNCTIONS ASSOCIATED WITH THEM
Since the remainder in formula (1) is for one has, for
and a fortiori
for every integer : one deduces from this that tends to with , for every integer : we shall find this result again in chap. V by another method (V, p. 231).
CH. HERMITE proved in 1873 that is a transcendental number over the field of rational numbers (in other words, it is not the root of any polynomial with rational coefficients) (Œuvres, t. III, p. 150, Paris (Gauthier-Villars), 1912).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.