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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The inequality

$$\zeta(s)^3 | \zeta(s + it)^4 \zeta(s + 2it)| \ge 1$$

follows from

$$3 + 4 \cos(\theta) + \cos(2 \theta) \ge 0.$$

How is that done? What is the relationship between zeta and the trigonometry?

share|cite|improve this question
grab any book with a proof of the prime number theorem ($\zeta(1+it)\neq0$) e.g. lang's algebraic number theory. (that's where this comes up isnt it?) – yoyo Feb 27 '11 at 22:17
up vote 15 down vote accepted

Just in case, everyone recall the notation $s=\sigma+it$ to denote complex numbers.

The inequality you are looking for is

$$|\zeta(\sigma)^3 \zeta(\sigma + it)^4 \zeta(\sigma + 2it)| \geq 1.$$

for $\sigma>1$. From this we can prove the Prime Number Theorem (by using a contour integral and some limits switching) because it shows that the zeta function has no zeros on the line $\sigma=1$. To see why, count the zeros of the numerator and the zeros of the denominator when $\sigma\rightarrow 1$. We see that a zero at $1+it$ would force a pole to exist at $1+2it$, but that is impossible since the only pole of $\zeta(s)$ is at $s=1$.

So why does it follow from the trigonometric identity

$$3 + 4 \cos(\theta) + \cos(2 \theta) \ge 0?$$

First take logarithms. Then the above is equivalent to showing that $$3\log|\zeta(\sigma)|+4\log|\zeta(\sigma+it)|+\log|\zeta(\sigma+2it)|\geq 0.$$

Recall that $\log|z|=\Re(\log z)$ and $\Re(z)+\Re(w)=\Re(w+z)$ where $\Re(z)$ denotes the real part of $z$. Hence we need to show that

$$\Re \left(3\log\zeta(\sigma)+4\log\zeta(\sigma+it)+\log\zeta(\sigma+2it)\right) \geq 0.$$

Now since $$\log(\zeta(s))=\sum_{n=1}^\infty \frac{\Lambda(n)}{\log n}n^{-s}$$ when $\sigma>1$, where $\Lambda(n)$ is the Von Mangoldt Lambda Function, grouping the sums changes the left hand side into

$$\Re \left(\sum_{n=1}^\infty \frac{\Lambda(n)}{\log n}\left( 3n^\sigma+4n^{\sigma+it}+n^{\sigma+2it} \right) \right).$$

Since everything is sufficiently convergent, we can bring $\Re$ inside the summation to get $$\left(\sum_{n=1}^\infty \frac{\Lambda(n)}{\log n}\Re\left( 3n^\sigma+4n^{\sigma+it}+n^{\sigma+2it} \right) \right)$$

Now, notice $\Re(n^{x+iy})= n^{x}\cos(y\log n)$, so that the above becomes

$$\left(\sum_{n=1}^\infty \frac{\Lambda(n)}{\log n} n^{-\sigma}\left(3+4\cos(t\log n)+\cos(2t\log n) \right) \right)$$

Lastly, the term above must be greater than or equal to zero since every term in the summation is non-negative. Thus we conclude

$$\Re \left(3\log\zeta(\sigma)+4\log\zeta(\sigma+it)+\log\zeta(\sigma+2it)\right) \geq 0$$ and hence

$$|\zeta(\sigma)^3 \zeta(\sigma + it)^4 \zeta(\sigma + 2it)| \geq 1$$ as desired.

Hope that helps,

share|cite|improve this answer

The inequality you state does not seem to make too much sense.

Anyway, you can find a related discussion in the book Riemann's Zeta Function, by H.M. Edwards on pages 79/80.

Google books link:


enter image description here

Hope that helps.

share|cite|improve this answer

Your Answer


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.