Bounds conjecture for the Stirling error continued-fraction approximants

Let rnr_n denote the error term in Stirling's formula, and let gm(n)g_m(n) be defined as in the paper from coefficients ama_m obtained from Theorem 3. The parity of mm determines the proposed direction of the bound.

Bounds conjecture. The functions gm(n)g_m(n) give lower bounds for rnr_n when mm is even and upper bounds when mm is odd; equivalently,

rn{gm(n),m even;gm(n),m odd.r_n \begin{cases}\leq g_m(n), & m\text{ even};\geq g_m(n), & m\text{ odd}.\end{cases}

The conjecture is based on numerical evidence and would establish the alternating upper and lower bounds suggested by the authors' telescoping continued-fraction construction. The supplied text gives no resolution, so its status remains open.

Sources & referencesView supporting material

Primary source

Gaurav Bhatnagar and Krishnan Rajkumar, “Telescoping continued fractions for the error term in Stirling's formula”, arXiv:2204.00962 (2023).

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.