The Borwein–Bailey–Girgensohn series conjecture

Let SBBGS_{\mathrm{BBG}} denote the Borwein–Bailey–Girgensohn series, let M=log6M=\log 6, and write SBBG=M+RS_{\mathrm{BBG}}=M+R. For t>0t>0, define the exponential integral by

Ei(t)=γ+logt+n=1tnnn!,\operatorname{Ei}(t)=\gamma+\log t+\sum_{n=1}^{\infty}\frac{t^n}{n\cdot n!},

and set li(x)=Ei(logx)\mathrm{li}(x)=\operatorname{Ei}(\log x) for x>1x>1.

Main conjecture.

SBBG=Ei(log3)=li(3)2.163588594667192S_{\mathrm{BBG}}=\operatorname{Ei}(\log 3)=\mathrm{li}(3)\approx 2.163\,588\,594\,667\,192\ldots

Equivalently, R=Ei(log3)log60.3718R=\operatorname{Ei}(\log 3)-\log 6\approx 0.3718\ldots.

The exact identity M=log6M=\log 6 is unconditional, so the conjectural content concerns the remainder RR. If true, this would give a notable appearance of the logarithmic integral in a trigonometric series with integer arguments.

Sources & referencesView supporting material

Primary source

Carlos Lopez Zapata, “Bessel Averaging, Fourier Decomposition, and the Value of the Borwein-Bailey-Girgensohn Series”, arXiv:2603.14548 (2026).

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.