The Beatty-sequence logarithm bound by 11

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

logabn=1a{a1(n+1)}b{b1(n+1)}n(n+1)<1.\left| \log\frac{a}{b}-\sum_{n=1}^{\infty}\frac{a \{a^{-1} (n+1)\}-b\{b^{-1}(n+1)\}}{n(n+1)}\right|<1.

Numerical data in the source suggest this stronger bound than the preceding conjecture. The source does not provide a proof or resolution.

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.