The Beatty-sequence logarithm bound by π2/6\pi^2/6

About 11 years old · traced to

Let a>1a>1 and b>1b>1 be irrational numbers. The Beatty-sequence logarithm bound.

∣log⁡ab−∑n=1∞a{a−1(n+1)}−b{b−1(n+1)}n(n+1)∣<π26.\left| \log\frac{a}{b}-\sum_{n=1}^{\infty}\frac{a \{a^{-1} (n+1)\}-b\{b^{-1}(n+1)\}}{n(n+1)}\right|<\frac{\pi^2}{6}.

This conjecture is motivated by estimating the corresponding series through the quantities π26a\frac{\pi^2}{6a} and π26b\frac{\pi^2}{6b}. Its status is not resolved in the supplied source.

References

Primary source

Geremías Polanco E, “Logarithm of Irrationals and Beatty Sequences”, arXiv:1503.08512 (2015).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.