Example 7

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

Functions of a Real Variable, chapter V, § 1. COMPARISON OF FUNCTIONS ON A FILTERED SET

For every $x > 0$ let $\pi(x)$ denote the number of prime numbers which are $\leq x$ ; it has been proved that $\pi(x) \sim x / \log x$ $^2$ as $x$ tends to $+\infty$ .

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

Cited by

Nothing.

Cites

Nothing.