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

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

logabn=1a{a1(n+1)}b{b1(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.

Sources & referencesView supporting material

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.