Example 1

Tag 08FN, permanent. Cite it as [Bourbaki, Tag 08FN].

The function $1/\log x$ is of order 0 relative to $x$ and satisfies the conditions of prop. 8 of V, p. 233; thus

\int_a^x \frac{dt}{\log t} \sim \frac{x}{\log x}.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.