Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am quite certain that this limit:

$$\lim_{s\to 1} \, \zeta (s) \prod _{n=1}^k \left(1-\frac{1}{n^{s-1}}\right)=0$$ is always zero for any integer $k \geq 2$.

Can you prove it? I can't.

I have to go outdoors now.

As a Mathematica program this is:

Table[Limit[Zeta[s]*Product[(1 - 1/n^(s - 1)), {n, 1, k}], s -> 1], {k, 2, 12}]
share|improve this question
4  
The factor with $n=1$ is constantly zero. –  Hagen von Eitzen Jul 21 '13 at 12:03
2  
If $n$ starts from 2 and $k>n$ then the limit is $0$. –  Mhenni Benghorbal Jul 21 '13 at 12:13

2 Answers 2

up vote 3 down vote accepted

From $1-\frac1{1^{s-1}}=0$, the expression is zero for any $s\ne1$, hence also zero in the limit

share|improve this answer
1  
Try it with the product starting at 2 instead of 1. The problem as stated has this obvious error. –  marty cohen Jul 22 '13 at 3:15

To make things a bit more interesting, I will assume that you intended to start the product from $n=2$.

In this answer, I use the fact that $$ \zeta(z)(1-2^{1-z})=1^{-z}-2^{-z}+3^{-z}-4^{-z}+\dots $$ The idea there is to use the fact that as $z\to1$ the limit of the right hand side is $\log(2)$. Thus, we have $$ \begin{align} \lim_{z\to1}\zeta(z)\prod_{n=2}^k(1-n^{1-z}) &=\lim_{z\to1}\zeta(z)(1-2^{1-z})\prod_{n=3}^k(1-n^{1-z})\\ &=\log(2)\prod_{n=3}^k\lim_{z\to1}(1-n^{1-z})\\ &=0 \end{align} $$ for $k\ge3$ since $\lim\limits_{z\to1}(1-n^{1-z})=0$ for each $n$.

share|improve this answer
    
Yes, you are correct it was my intention: oeis.org/A224892 –  Mats Granvik Aug 2 '13 at 19:28
    
The second Mathematica program at this link is related to this question: tech.groups.yahoo.com/group/Active_Mathematica/message/3317 –  Mats Granvik Aug 2 '13 at 19:42

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.