Bài toán. Cho n là một số nguyên lớn hơn bằng 2.
Chứng minh rằng
$\sum_{p\leq n}\frac{1}{p}> lnlnn-1$, trong đó ta quy ước p chỉ các số nguyên tố nên tổng ở đây lấy trên tập các số nguyên tố nhỏ hơn bằng n.
Lời giải. Gọi A(n) là tập các số nguyên dương sao cho các ước số nguyên tố nhỏ hơn hoặc bằng n.
Khi đó
$\prod_{p\leq n}\left ( 1+\frac{1}{p}+\frac{1}{p^{2}}+...+\frac{1}{p^{k}}+.... \right )=\sum_{m\in A(n)}\frac{1}{m}$ (1)
Ta thấy rằng $\sum_{m\in A(n)}\frac{1}{m}\geq \sum_{m=1}^{n}\frac{1}{m}$ (định nghĩa của tập A(n) )
mà ta lại có bất đẳng thức sau ( chứng minh không quá khó khăn ) $\sum_{m=1}^{n}\frac{1}{m}> lnn$ . Lưu ý rằng ta cũng có đẳng thức sau :$1+\frac{1}{p}+\frac{1}{p^{2}}+...+\frac{1}{p^{k}}+...=\left (1-\frac{1}{p} \right )^{-1}$ nên ta có thể viết lại (1) như sau$\prod_{p\leq n}\left ( 1-\frac{1}{p} \right )^{-1}> lnn$.
Để thực hiện tiếp phép chứng minh ta cần đến một bất đẳng thức không tầm thường :
$e^{t+t^{2}}\geq \left ( 1-t \right )^{-1}, 0\leq t\leq \frac{1}{2}$ có thể được chứng minh dễ dàng bằng phương pháp lấy đạo hàm :
Do đó :
$\prod_{p\leq n}e^{\frac{1}{p}+\frac{1}{p^{2}}}\geq \prod_{p\leq n}\left ( 1-\frac{1}{p} \right )^{-1}> lnn$.(2)
Từ (2) không quá khó để nhận ra rằng $\sum_{p\leq n}\frac{1}{p}+\sum_{p\leq n}\frac{1}{p^{2}}>lnlnn\Rightarrow \sum_{p\leq n}\frac{1}{p}> lnlnn-\sum_{p\leq n}\frac{1}{p^{2}}$
mà $\sum_{p\leq n}\frac{1}{p^{2}}\leq \sum_{k=2}^{\infty }\frac{1}{k^{2}}=\frac{\pi ^{2}}{6}-1< 1$ (3)
Từ (2) và (3) ta đi đến :$\sum_{p\leq n}\frac{1}{p}> lnlnn-1$ (đpcm)