Example 1
Tag 08FB, permanent. Cite it as [Bourbaki, Tag 08FB].
Functions of a Real Variable, chapter V, § 3. ASYMPTOTIC EXPANSIONS OF FUNCTIONS OF A REAL VARIABLE
The function is not bounded on when or ; by the logarithmic criterion of order 0 applied on a neighbourhood of the points 0 and 1 the integral converges if and only if and . If so, this integral is called the Eulerian integral of the first kind and is denoted by (cf. VII, p. 312).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.