ilk olarak ψ fonksiyonunu tanimlayalim (p asal, m pozitif tamsayi): ψ(x)=∑pm≤xlogp. Aslinda bu fonksiyon ([x] tak deger fonksiyonu "asagiya yuvarlayan" olmak uzere) ψ(x)=∑p≤x[logxlogp]logp. π(x) fonksiyonu da x'den kucuk asal sayilarin sayisi olsun.
Theorem: Eger x→∞ iken ψ(x)∼x ise π(x)∼logxx
ispat: ilk olarak ψ(x)=∑p≤x[logxlogp]logp≤∑p≤xlogxlogplogp≤π(x)logx oldugundan ψ(x)x≤π(x)logxx gelir. Burdan da lim oldugundan ilk gozlemimiz 1 \leq \lim\limits_{x\rightarrow \infty}\inf \pi(x) \frac{\log x}{x}. Simdi 0 < \alpha < 1 olacak sekilde bir \alpha secelim (sabitleyelim). O zaman \psi(x) \geq \sum\limits_{p \leq x}\log p \geq \sum\limits_{x^\alpha \leq p \leq x}\log p \geq (\pi(x)-\pi(x^\alpha))\log x^\alpha. Yani \frac{\psi(x)}{x} \geq \alpha \frac{ \log x(\pi(x) -\pi(x^\alpha))}{x}=\alpha \frac{ \log x(\pi(x) -x^\alpha)}{x}=\alpha\pi(x) \frac{ \log x}{x} -\alpha\frac{\log x}{x^{1-\alpha}} yani 1 \geq \alpha\lim\limits_{x\rightarrow \infty}\sup \pi(x) \frac{\log x}{x}. O halde \pi(x)\sim \frac {\log x}x.