# Can anybody prove this about the zeta function?

Does the following always hold? And if so can you prove it $\left\lfloor\sum_{k=2}^n\zeta(k)\right\rfloor=n-1$

Note by Ali Caglayan
3 years, 8 months ago

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold
- bulleted- list
• bulleted
• list
1. numbered2. list
1. numbered
2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in $$...$$ or $...$ to ensure proper formatting.
2 \times 3 $$2 \times 3$$
2^{34} $$2^{34}$$
a_{i-1} $$a_{i-1}$$
\frac{2}{3} $$\frac{2}{3}$$
\sqrt{2} $$\sqrt{2}$$
\sum_{i=1}^3 $$\sum_{i=1}^3$$
\sin \theta $$\sin \theta$$
\boxed{123} $$\boxed{123}$$

Sort by:

First, observe that

$$\displaystyle\sum _{ k=2 }^{ \infty }{ \left( \zeta \left( k \right) -1 \right) } =\displaystyle\sum _{ k=2 }^{ \infty }{ \left( \displaystyle\sum _{ n=1 }^{ \infty }{ \frac { 1 }{ { n }^{ k } } } -1 \right) } =\displaystyle\sum _{ n=2 }^{ \infty }{ \sum _{ k=2 }^{ \infty }{ \frac { 1 }{ { n }^{ k } } } } =1$$

In other words, the sum of all the fractions of $$\zeta \left( n \right)$$ from $$n=2$$ to infinity is exactly 1. With a bit of handwaving here, it can be surmised that the sum of $$n$$ Zeta functions starting at $$n=2$$ is $$n-1+a$$, where $$0<a<$$. Hence the floor value is $$n-1$$.

This proof-toid is incomplete because we need to prove additional lemmas, such as $$\zeta \left( n \right) >\zeta \left( n+1 \right) >1$$ for all $$n$$. But this is the gist of the proof anyway.

- 3 years, 8 months ago

Indeed, $\sum_{k = 2}^\infty (\zeta(k) - 1) = 1$ is the key identity. The rest of the proof is quite simple.

Each term $$\zeta(k) - 1$$ is positive. It follows that $0 < \sum_{k = 2}^n (\zeta(k) - 1) < 1.$ Then $n - 1 < \sum_{k = 2}^n \zeta(k) < n,$ as desired.

- 3 years, 8 months ago

Very nice!

- 3 years, 8 months ago

Interesting method. I tried squeezing it however I am having trouble establishing a good integer upper bound.

- 3 years, 8 months ago