PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] prime harmonic series diverges - Chebyshev's proof (Theorem)

Theorem. $\sum_{p{ prime}}\frac{1}{p}$ diverges.

Proof. (Chebyshev, 1880)
Consider the product $$ \prod_{p\leq n} \left(1-\frac{1}{p}\right)^{-1 $$ Since $\left(1-\frac{1}{p}\right)^{-1}=1+\frac{1}{p}+\frac{1}{p^2}+\cdots$ , we have $$ \prod_{p\leq n} \left(1-\frac{1}{p}\right)^{-1}=\left(1+\frac{1}{2}+\frac{1}{2^2}+\cdots\right)\left(1+\frac{1}{3}+\frac{1}{3^2}+\cdots\right)\left(1+\frac{1}{5}+\frac{1}{5^2}+\cdots\right)\cdot $$ So for each $m\leq n$ , if we expand the above product, $\frac{1}{m}$ will be a term. Thus $$ \prod_{p\leq n}\left(1-\frac{1}{p}\right)^{-1}\geq\sum_{x=1}^n \frac{1}{x $$ Taking logarithms, we have $$ \sum_{p\leq n}-\ln\left(1-\frac{1}{p}\right)\geq\ln\sum_{x=1}^n \frac{1}{x $$ But $\ln(1-u)=-u-\frac{u^2}{2}-\frac{u^3}{3}-\cdots$ , so $$ -\ln\left(1-\frac{1}{p}\right)=\frac{1}{p}+\frac{1}{2p^2}+\frac{1}{3p^3}+\cdots\leq \frac{1}{p}+\frac{1}{p^2}+\frac{1}{p^3}+\cdots\leq \frac{2}{p $$ Hence $$ \sum_{p\leq n} \frac{2}{p}\geq \sum_{p\leq n}\left(-\ln\left(1-\frac{1}{p}\right)\right)\geq \ln\sum_{x=1}^{n}\frac{1}{x $$ and thus $$ \sum_{p\leq n}\frac{1}{p}\geq \frac{1}{2}\sum_{x=1}^{n}\frac{1}{x $$ But the latter series diverges, and the result follows.




"prime harmonic series diverges - Chebyshev's proof" is owned by rm50.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: series, logarithms, term, expand, product, proof, diverges, theorem

This is version 5 of prime harmonic series diverges - Chebyshev's proof, born on 2006-11-11, modified 2007-02-19.
Object id is 8544, canonical name is SumOfReciprocalsOfThePrimesDiverges.
Accessed 1319 times total.

Classification:
AMS MSC11A41 (Number theory :: Elementary number theory :: Primes)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)