I need to prove that this is divergent: $$\prod_{\stackrel{p\leq N}{p\text{ prime}}}\left(1 + \frac{1}{p} + \frac{1}{p^2} + \cdots + \frac{1}{p^k} + \cdots\right),$$ where the expression inside of the product is: $$\frac{1}{(1-\frac{1}{p})} = (1 + \frac{1}{p} + \frac{1}{p^2} + \cdots + \frac{1}{p^k} + \cdots).$$
Prove the product of a sum of powers of primes diverges
-
0I'm trying to use an integral test, but I'm a little confused because I'm only able to use prime numbers (due to another proof I'm working on), so I can only think of using a Riemann sum, but that's not exactly a proof. – 2011-03-27
-
0That was not a correct edit – 2011-03-27
-
0I am probably wrong, but can someone tell me why the product is not $\zeta(-1)$ – 2011-03-27
-
0@Approximist: You mean $\zeta(1)$, and in that case yes, it does converge to $\zeta(1)$ and hence diverges to infinity. – 2011-03-27
-
0I removed the calculus tag. – 2011-03-27
3 Answers
The fastest way is to use the Fundamental Theorem of Arithmetic (Unique factorization into primes). You can show that in a combinatorial sense $$\prod_p \left( 1+\frac{1}{p}+\frac{1}{p^2}+\cdots\right)=\sum_{n=1}^\infty \frac{1}{n}.$$ I mean that if the product was expanded, each term on the right would appear exactly once. This then proves the divergence of your product since the harmonic series diverges. This is also known as Eulers Proof of the infinitude of the primes.
Hope that helps,
Mertens Estimate: If you are curious, we can also say things about the rate of divergence of this product. It is one of Mertens Estimates which says $$\prod_{p\leq N} \left(1-p^{-1}\right)^{-1} = e^\gamma \ln N + O(1)$$ where $\gamma$ is the Euler-Mascheroni Constant. This means that the product you are looking at grows roughly at the same rate as the logarithm. This is to be expected from the first part since the divergence of the harmonic series is also like the logarithm, and this argument can be made rigorous. However the constant requires slightly more work to compute.
Added: This Wikipedia page is related, and a little interesting too.
-
0FTA says any integer greater than 1 can be written as a unique product (up to ordering of the factors) of prime numbers How do I know that my product is an integer? – 2011-03-27
-
2@Joseph It's not, it's 1 divided by an integer. Each term will be of the form $1/( p_1^{e_1}p_2^{e_2} ...) = 1/n$ where n is given by its factorisation. (Also note that terms with an 'infinite number of $p_i$'s are zero). – 2011-03-27
-
1We don't and in fact it never is an integer. Use the unique factorization on the denominators, and think about expanding the product. (To make sense of expanding a divergent product, what we are doing is assuming it converges, and arriving at a contradiction when the harmonic series appears) The first term in the expansion is a 1, and each term we get will be of the form $\frac{1}{m}$ for some integer $m$. What you have to say is why every integer $m$ will appear once, and only once. Thats where unique factorization comes into play. – 2011-03-27
-
0I'm really sorry but I'm not quite following. I never was good at series. Can you please give an example of what I might be looking for in a factorization here? – 2011-03-27
-
1Every possible product of primes appears exactly once. For example, do you see why $\frac{1}{2\cdot 3^2}$ will appear? What about an arbitrary $$\frac{1}{p_1^{\alpha_1}\cdots p_r^{\alpha_r}}.$$ Why will this appear in the product? Can it appear more then once? – 2011-03-27
-
0Actually no, I don't see why that will appear. 2*3^2=18 has no integer roots, so no 1/p^x will=1/18. I'm really sorry if I'm being dense here. But I do see why it would be unique if it appears. – 2011-03-27
-
1Well we have in a sense $$(1+\frac{1}{2}+\frac{1}{2^2}+\frac{1}{2^3}+\cdots )$$ $$\times (1+\frac{1}{3}+\frac{1}{3^2}+\frac{1}{3^3}+\cdots )$$ $$\times (1+\frac{1}{5}+\frac{1}{5^2}+\frac{1}{5^3}+\cdots)$$ $$\times\cdots$$ So the term obtained by multiplying $\frac{1}{2}$ and $\frac{1}{3^2}$ and then infinitely many $1$'s will give $\frac{1}{2\cdot 3^2}$. – 2011-03-27
-
0Oh, I see. I thought you were saying that only the inside of the product would diverge, not the product itself. D'oh – 2011-03-27
Hint: Expand the partial product using all primes $p\leq N$ for some large $N$, and compare with the partial sum of the harmonic series.
Hints: 1)inside the parentheses you have a geometric series which can be summed. 2) $\sum_{p\text{ prime}} \frac{1}{p}$ diverges
-
0I'm not allowed to use this fact in my proof. I have to prove that that sum diverges if I use it. – 2011-03-27
-
1Isn't this just unique factorization plus the fact the harmonic series diverges? – 2011-03-27
-
1@Ross: And why is (2) true? You have pushed the details into a statement which is more difficult to prove than the original. – 2011-03-27
-
0@Eric: It makes sense that it would be more difficult to prove, but it is "well known". I didn't know what was available to OP, but he says this is not. Your answer is a good one. – 2011-03-27
-
0@Ross: Thanks. Heres an interesting tid-bit about how these results were originally derived. Historically, Euler was the first to prove that $\sum_p \frac{1}{p}$ diverges. (1737) He proved this by showing first that the above product diverges because of its relationship to the harmonic series, and then by showing that any of the higher power terms did not contribute more than a constant. This then implies that the sum of the reciprocals diverges. Also see Wikipedia's page on this (the Erdos proof is cool): http://en.wikipedia.org/wiki/The_sum_of_the_reciprocals_of_the_primes_diverges – 2011-03-27
-
0@Eric: I had seen the Erdos proof before. It is cool. – 2011-03-27
-
0@Ross: I only just read it today because it was there on the Wikipedia page. (part of the reason why I wanted to leave that link behind!) Wikipedia has a lot of these nice things where there are extra proofs, or other interesting tid-bits in unexpected places. – 2011-03-27