Riemann zeta function - one identity

[Karamata]

Let p_n be number of Non-Isomorphic Abelian Groups by order n. For R(s)>1 with \zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s} we define Riemann zeta function. Fundamental theorem of arithmetic is biconditional with fact that \zeta(s)=\prod_{p} (1-p^{-s})^{-1} for R(s)>1. Proove that for R(s)>1 is: \sum_{n=1}^{\infty}\frac{p_n}{n^s}=\prod_{j=1}^{∞}\zeta(js).

Do you know where can I found this proof (or maybe you know it )

Sorry for bad English

 

[Norwegian]

The number of abelian groups of order n = ∏p_i^a_i is ∏p(a_i) where p is the partition function.

The generating function for p is Ʃp(n)xⁿ=(1+x+x²+..)(1+x²+x⁴+..)(1+x³+..).. and we only need to know for later how to see that (the exponent taken from the first parantheses corresponds to the number of 1s in the partition etc).

Now ∏ ζ(js) = ζ(s)ζ(2s)ζ(3s) = ∏(1+1/p^s+1/p^2s+..)(1+1/p^2s+..).. where the last product is over all primes, and we have written the Euler product of each factor ζ(js).

Write out some more terms, then study the expression, and you will see that the coefficient of 1/n^s, after multiplying, is precisely what you want.