Proposition 5 ("logarithmic criterion of order 0")
Tag 08FA, permanent. Cite it as [Bourbaki, Tag 08FA].
Functions of a Real Variable, chapter V, § 3. ASYMPTOTIC EXPANSIONS OF FUNCTIONS OF A REAL VARIABLE
If on a neighbourhood of one has for some then the integral converges; if for some then the integral is infinite.
We leave it to the reader to translate the logarithmic criterion of order similarly.
The application of the logarithmic criteria is immediate if one knows how to obtain the principal part of with respect to a comparison scale containing the functions that feature in these criteria: if is the principal part, the integral converges or is infinite together with , and the logarithmic criteria apply immediately to this last integral.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.