Example 2
Tag 08FC, permanent. Cite it as [Bourbaki, Tag 08FC].
Functions of a Real Variable, chapter V, § 3. ASYMPTOTIC EXPANSIONS OF FUNCTIONS OF A REAL VARIABLE
Consider the integral . Since on a neighbourhood of 0, one must have if this integral is to converge; this condition is also sufficient since on a neighbourhood of one has for any . When the integral is called the Eulerian integral of the second kind and is denoted by (cf. VII, p. 311).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.