# Some new continued fraction sequence convergent to the Somos quadratic recurrence constant

## Abstract

In this paper, we provide some new continued fraction approximation and inequalities of the Somos quadratic recurrence constant, using its relation with the generalized Euler constant.

## Introduction

Somos  defined the sequence $$g_{n} = ng_{n-1}^{2}$$, with $$g_{0}=1$$ in 1999. Finch  proved the asymptotic formula in 2003 as follows:

$$g_{n}=\sigma^{2^{n}} \biggl(n+2-\frac{1}{n}+ \frac{4}{n^{2}}-\frac {21}{n^{3}}+\frac{138}{n^{4}}-\frac{1\text{,}091}{n^{5}}+\cdots \biggr)^{-1}\quad (n\rightarrow\infty),$$

where the constant $$\sigma= 1.661687949\ldots$$ is now known as the Somos quadratic recurrence constant. This constant appears in important problems by pure representations,

$$\sigma=\sqrt{1\sqrt{2\sqrt{3\ldots}}}=\prod_{k=1}^{\infty}k^{1/2^{k}}=\exp{ \Biggl\{ \sum_{k=1}^{\infty}\frac{\ln k}{2^{k}} \Biggr\} },$$

or integral representations,

$$\sigma=\exp{ \biggl\{ - \int_{0}^{1} \frac{1-x}{(2-x)\ln x}\, dx \biggr\} }=\exp{ \biggl\{ - \int_{0}^{1} { \int_{0}^{1} \frac{x}{(2-xy)\ln (xy)}\, dx}\, dy \biggr\} };$$

see .

The generalized-Euler-constant function

$$\gamma(z)=\sum_{k=1}^{\infty}z^{k-1} \biggl(\frac{1}{k}-\ln\frac {k+1}{k} \biggr)\quad \bigl(\vert z\vert \leq1\bigr)$$
(1.1)

was introduced by Sondow and Hadjicostas  and Pilehrood and Pilehrood , where $$\gamma(1)= 0.577215\ldots$$ is the classical Euler constant.

Sondow and Hadjicostas  also defined the generalized Somos quadratic recurrence constant, by

$$\sigma_{t}= \biggl( \frac{t}{t-1} \biggr)^{1/(t-1)}\exp \biggl\{ -\frac{1}{ t(t-1)}\gamma \biggl( \frac{1}{t} \biggr) \biggr\} .$$
(1.2)

Since when we set $$t=2$$ in (1.2),

$$\gamma \biggl(\frac{1}{2} \biggr)=2\ln\frac{2}{\sigma}\quad \mbox{or}\quad \sigma=2\exp \biggl\{ -\frac{1}{2} \gamma \biggl(\frac{1}{2} \biggr) \biggr\} ,$$
(1.3)

these functions are closely related to the Somos quadratic recurrence constant σ. Here we denote

$$\gamma_{n}(z)=\sum_{k=1}^{n} z^{k-1} \biggl(\frac{1}{k}-\ln\frac {k+1}{k} \biggr)\quad \bigl(\vert z\vert \leq1\bigr).$$
(1.4)

Recently, many inspiring results of establishing more precise inequalities and more accurate approximations for the Somos quadratic recurrence constant and generalized-Euler-constant function were given. Mortici  provided a double inequality of the error estimate by the polynomial approximation. Lu and Song  gave sharper bounds.

Motivated by this important work, in this paper we will continue our previous work  and apply a multiple-correction method to construct some new sharper double inequality of the error estimate for the Somos quadratic recurrence constant. Moreover, we establish sharp bounds for the corresponding error terms.

### Notation

Throughout the paper, the notation $$\Psi (k;x)$$ means a polynomial of degree k in x with all of its non-zero coefficients positive, which may be different at each occurrence.

## Estimating $$\gamma(1/2)$$

In order to deduce some estimates for the σ constant, we evaluate the series

$$\gamma \biggl(\frac{1}{2} \biggr)=\sum _{k=1}^{\infty}\frac{1}{2^{k-1}} \biggl( \frac{1}{k}-\ln\frac{k+1}{k} \biggr).$$
(2.1)

First we need the following intermediary result.

### Lemma 1

For every integer positive k, we define

$$\alpha _{3}(x)=\frac{1}{x^{2}} \biggl(1+\frac{b_{0}}{x+\frac{c_{0} x}{x+\frac{c_{1} x}{x+\frac{c_{2} x}{x+c_{3}}}}} \biggr), \qquad \alpha _{4}(x)=\frac{1}{x^{2}} \biggl(1+\frac{b_{0}}{x+\frac{c_{0} x}{x+\frac{c_{1} x}{x+\frac{c_{2} x}{x+\frac{c_{3} x}{x+c_{4}}}}}} \biggr),$$

where $$b_{0}=-\frac{8}{3}$$, $$c_{0}=\frac{69}{16}$$, $$c_{1}=\frac{2\text{,}689}{1\text{,}840}$$, $$c_{2}=\frac{1\text{,}759\text{,}264}{309\text{,}235}$$, $$c_{3}=\frac{3\text{,}080\text{,}065\text{,}424}{1\text{,}034\text{,}832\text{,}071}$$, $$c_{4}=\frac{1\text{,}439\text{,}063\text{,}522\text{,}712\text{,}675}{206\text{,}144\text{,}225\text{,}688\text{,}128}$$. Then for every integer k, we have

$$a_{3}(k)-\frac{1}{2} a_{3}(k+1)< \frac{1}{k}-\ln\frac{k+1}{k}< a_{4}(k)-\frac{1}{2} a_{4}(k+1).$$
(2.2)

### Proof

Based on our previous work we will apply multiple-correction method and study the double inequality of the error estimate as follows.

(Step 1) The initial correction. Because $$(\frac{1}{x}-\ln\frac{x+1}{x} )'=-\frac{1}{x^{2}(x+1)}$$, we choose $$\alpha _{0}(x)=\frac{1}{x^{2}} (1+\frac{b_{0}}{x+c_{0}} )$$. Then letting the coefficient of $$x^{5}$$, $$x^{6}$$ of the molecule in the following fractions equal zero, we have $$b_{0}=-\frac{8}{3}$$, $$c_{0}=\frac{69}{16}$$, and

\begin{aligned} f_{0}'(x)&= \biggl(a_{0}(x)- \frac{1}{2} a_{0}(x+1)- \biggl(\frac{1}{x}-\ln \frac {x+1}{x} \biggr) \biggr)' \\ &=\frac{-26\text{,}255\text{,}650 - 71\text{,}362\text{,}005 x - 73\text{,}118\text{,}084 x^{2} - 25\text{,}661\text{,}312 x^{3} - 2\text{,}753\text{,}536 x^{4}}{x^{3} (1 + x)^{3} (69 + 16 x)^{2} (85 + 16 x)^{2}}< 0. \end{aligned}

As the molecule in the above fractions has all coefficients negative, we see as a result that $$f_{0}(x)$$ is strictly decreasing.

(Step 2) The first correction. We let $$\alpha _{1}(x)=\frac{1}{x^{2}} (1+\frac{b_{0}}{x+\frac{c_{0} x}{x+c_{1}}} )$$. Then letting the coefficient of $$x^{6}$$ of the molecule in the following fractions equal zero, we have $$c_{1}=\frac{2\text{,}689}{1\text{,}840}$$ and

\begin{aligned} f_{1}'(x)&= \biggl(a_{1}(x)-\frac{1}{2} a_{1}(x+1)- \biggl(\frac{1}{x}-\ln\frac {x+1}{x} \biggr) \biggr)' \\ &=\frac{\Psi(5;x)}{x^{4} (1 + x)^{4} (664 + 115 x)^{2} (779 + 115 x)^{2}}>0. \end{aligned}

As

\begin{aligned} \Psi(5;x) =&541\text{,}756\text{,}089\text{,}068 + 2\text{,}164\text{,}112\text{,}814\text{,}170 x + 3\text{,}349\text{,}014\text{,}987\text{,}656 x^{2} \\ &{}+ 2\text{,}438\text{,}802\text{,}119\text{,}388 x^{3} + 627\text{,}774\text{,}173\text{,}785 x^{4} + 50\text{,}167\text{,}886\text{,}925 x^{5} \end{aligned}

has all coefficients positive, we see as a result that $$f_{1}(x)$$ is strictly increasing. But $$f_{1}(\infty)=0$$, so $$f_{1}(x)<0$$ on $$[1,\infty)$$.

(Step 3) The second correction. Similarly, we let $$\alpha _{2}(x)=\frac{1}{x^{2}} (1+\frac{b_{0}}{x+\frac{c_{0} x}{x+\frac{c_{1} x}{x+c_{2}}}} )$$. Then letting the coefficient of $$x^{7}$$ of the molecule in the following fractions equal zero, we have $$c_{2}=\frac{1\text{,}759\text{,}264}{309\text{,}235}$$ and

\begin{aligned} f_{2}'(x)&= \biggl(a_{2}(x)-\frac{1}{2} a_{2}(x+1)- \biggl(\frac{1}{x}-\ln\frac {x+1}{x} \biggr) \biggr)' \\ &=\frac{-\Psi(6;x)}{x^{3} (1 + x)^{3} (329\text{,}862 + 154\text{,}120 x + 13\text{,}445 x^{2})^{2} (497\text{,}427 + 181\text{,}010 x + 13\text{,}445 x^{2})^{2}} \\ &< 0. \end{aligned}

As

\begin{aligned} \Psi(6;x) =&11\text{,}996\text{,}815\text{,}612\text{,}137\text{,}340\text{,}746\text{,}762 + 35\text{,}859\text{,}193\text{,}432\text{,}468\text{,}133\text{,}987\text{,}910 x \\ &{}+ 43\text{,}146\text{,}717\text{,}746\text{,}712\text{,}804\text{,}785\text{,}684 x^{2} \\ &{}+ 24\text{,}054\text{,}456\text{,}699\text{,}427\text{,}979\text{,}755\text{,}000 x^{3} + 6\text{,}362\text{,}662\text{,}027\text{,}948\text{,}035\text{,}025\text{,}530 x^{4} \\ &{}+ 757\text{,}411\text{,}977\text{,}134\text{,}935\text{,}302\text{,}125 x^{5} + 32\text{,}547\text{,}266\text{,}888\text{,}095\text{,}273\text{,}400 x^{6} \end{aligned}

has all coefficients positive, we see as a result that $$f_{2}(x)$$ is strictly decreasing. But $$f_{2}(\infty)=0$$, so $$f_{2}(x)>0$$ on $$[1,\infty)$$.

(Step 4) The third correction. Similarly, we let $$\alpha _{3}(x)=\frac{1}{x^{2}} (1+\frac{b_{0}}{x+\frac{c_{0} x}{x+\frac{c_{1} x}{x+\frac{c_{2} x}{x+c_{3}}}}} )$$. Then letting the coefficient of $$x^{8}$$ of the molecule in the following fractions equal zero, we have $$c_{3}=\frac{3\text{,}080\text{,}065\text{,}424}{1\text{,}034\text{,}832\text{,}071}$$ and

\begin{aligned} f_{3}'(x)&= \biggl(a_{3}(x)-\frac{1}{2} a_{3}(x+1)- \biggl(\frac{1}{x}-\ln\frac {x+1}{x} \biggr) \biggr)' \\ &=\frac{\Psi(7;x)}{x^{4} (1 + x)^{4} (16\text{,}055\text{,}330 + 5\text{,}556\text{,}840 x + 384\text{,}839 x^{2})^{2} (21\text{,}997\text{,}009 + 6\text{,}326\text{,}518 x + 384\text{,}839 x^{2})^{2}} \\ &>0, \end{aligned}

we see as a result that $$f_{3}(x)$$ is strictly increasing. But $$f_{3}(\infty)=0$$, so $$f_{3}(x)<0$$ on $$[1,\infty)$$. This finishes the proof of the left-hand inequality in (2.2).

(Step 5) The fourth correction. Similarly, we let $$\alpha _{4}(x)=\frac{1}{x^{2}} (1+\frac{b_{0}}{x+\frac{c_{0} x}{x+\frac{c_{1} x}{x+\frac{c_{2} x}{x+\frac{c_{3} x}{x+c_{4}}}}}} )$$. Then letting the coefficient of $$x^{9}$$ of the molecule in the following fractions equal zero, we have $$c_{4}=\frac {1\text{,}439\text{,}063\text{,}522\text{,}712\text{,}675}{206\text{,}144\text{,}225\text{,}688\text{,}128}$$ and

\begin{aligned} f_{4}'(x)&= \biggl(a_{4}(x)-\frac{1}{2} a_{4}(x+1)- \biggl(\frac{1}{x}-\ln\frac {x+1}{x} \biggr) \biggr)' \\ &=\frac{-\Psi(8;x)}{x^{3} (1 + x)^{3} \Psi_{1}^{2}(3;x)\Psi _{2}^{2}(3;x)}< 0, \end{aligned}

we see as a result that $$f_{4}(x)$$ is strictly decreasing. But $$f_{4}(\infty)=0$$, so $$f_{4}(x)>0$$ on $$[1,\infty)$$. This finishes the proof of the right-hand inequality in (2.2).

This is the end of Lemma 1. □

### Remark 1

It is worth to point out that Lemma 1 provides some continued fraction inequalities by the multiple-correction method. Similarly, repeating the above approach step by step, we can get more sharp inequalities. But this maybe brings about some computation increase, the details omitted here.

By adding inequalities of the form

$$\frac{a_{3}(k)}{2^{k-1}}-\frac{a_{3}(k+1)}{2^{k}}< \frac{1}{2^{k-1}} \biggl( \frac{1}{k}-\ln\frac{k+1}{k} \biggr)< \frac{a_{4}(k)}{2^{k-1}}- \frac {a_{4}(k+1)}{2^{k}}$$

from $$k=n+1$$ to $$k=\infty$$, we get

$$\frac{a_{3}(n+1)}{2^{n}}< \sum_{k=n+1}^{\infty} \frac{1}{2^{k-1}} \biggl(\frac{1}{k}-\ln\frac{k+1}{k} \biggr)< \frac{a_{4}(n+1)}{2^{n}}.$$
(2.3)

These double inequalities give the error estimate when $$\gamma(\frac{1}{2})$$ is approximated by

$$\gamma_{n} \biggl(\frac{1}{2} \biggr)=\sum _{k=1}^{n} \biggl(\frac{1}{k}-\ln \frac{k+1}{k} \biggr).$$

So we have the following theorem.

### Theorem 1

For every positive integer n,

\begin{aligned}& \gamma_{n} \biggl(\frac{1}{2} \biggr)+ \frac{183\text{,}429\text{,}517 + 476\text{,}353\text{,}825 n + 170\text{,}553\text{,}590 n^{2} + 11\text{,}545\text{,}170 n^{3}}{2^{n}30 (1 + n)^{3} (21\text{,}997\text{,}009 + 6\text{,}326\text{,}518 n + 384\text{,}839 n^{2})} \\& \quad < \gamma \biggl(\frac{1}{2} \biggr) \\& \quad < \gamma_{n} \biggl( \frac{1}{2} \biggr) \\& \qquad {}+\frac {13\text{,}772\text{,}456\text{,}102\text{,}417 + 13\text{,}119\text{,}369\text{,}079\text{,}700 n + 2\text{,}447\text{,}045\text{,}992\text{,}090 n^{2} + 112\text{,}489\text{,}345\text{,}920 n^{3}}{30 (1 + n)^{2} (1\text{,}182\text{,}754\text{,}225\text{,}349 + 628\text{,}371\text{,}674\text{,}302 n + 91\text{,}567\text{,}252\text{,}707 n^{2} + 3\text{,}749\text{,}644\text{,}864 n^{3})}. \end{aligned}
(2.4)

### Proof

The double inequality (2.3) can be equivalently written as

$$\frac{a_{3}(n+1)}{2^{n}}< \gamma \biggl(\frac{1}{2} \biggr)-\gamma_{n} \biggl(\frac{1}{2} \biggr)< \frac{a_{4}(n+1)}{2^{n}}$$

and the conclusion follows if we take into account that

$$\frac{a_{3}(n+1)}{2^{n}}=\frac{183\text{,}429\text{,}517 + 476\text{,}353\text{,}825 n + 170\text{,}553\text{,}590 n^{2} + 11\text{,}545\text{,}170 n^{3}}{2^{n}30 (1 + n)^{3} (21\text{,}997\text{,}009 + 6\text{,}326\text{,}518 n + 384\text{,}839 n^{2})}$$

and

\begin{aligned}& \frac{a_{4}(n+1)}{2^{n}} \\& \quad =\frac{13\text{,}772\text{,}456\text{,}102\text{,}417 + 13\text{,}119\text{,}369\text{,}079\text{,}700 n + 2\text{,}447\text{,}045\text{,}992\text{,}090 n^{2} + 112\text{,}489\text{,}345\text{,}920 n^{3}}{30 (1 + n)^{2} (1\text{,}182\text{,}754\text{,}225\text{,}349 + 628\text{,}371\text{,}674\text{,}302 n + 91\text{,}567\text{,}252\text{,}707 n^{2} + 3\text{,}749\text{,}644\text{,}864 n^{3})}. \end{aligned}

This is the end of Theorem 1. □

### Remark 2

In fact, the upper and lower bounds in (2.4) are sharper than the ones in (2.3) of Mortici  and (2.8) of Lu and Song  for every positive integer n.

From (2.4) we can provide the following result which has a simpler form than (2.4), although it is weaker than (2.4).

### Corollary 1

For every positive integer $$n\geq1$$, we have

$$\gamma_{n} \biggl(\frac{1}{2} \biggr)+ \frac{1}{2^{n}(n+\frac{8}{3})^{2}}< \gamma \biggl(\frac{1}{2} \biggr)< \gamma_{n} \biggl(\frac{1}{2} \biggr)+\frac{1}{2^{n}(n+\frac{3}{2})^{2}}.$$
(2.5)

### Proof

We take into account that

\begin{aligned}& a_{3}(n+1)-\frac{1}{(n+\frac{8}{3})^{2}} \\& \quad = \frac{5\text{,}800\text{,}296\text{,}658 + 19\text{,}765\text{,}524\text{,}466 n + 12\text{,}385\text{,}315\text{,}613 n^{2} + 1\text{,}837\text{,}256\text{,}025 n^{3} + 69\text{,}271\text{,}020 n^{4}}{30 (1 + n)^{3} (8 + 3 n)^{2} (21\text{,}997\text{,}009 + 6\text{,}326\text{,}518 n + 384\text{,}839 n^{2})} \\& \quad >0 \end{aligned}

for $$n\geq1$$, and

\begin{aligned}& \frac{1}{(n+\frac{3}{2})^{2}}-a_{4}(n+1) \\& \quad =\bigl(17\text{,}978\text{,}402\text{,}120\text{,}127 + 75\text{,}921\text{,}820\text{,}053\text{,}696 n + 69\text{,}182\text{,}111\text{,}904\text{,}322 n^{2} \\& \qquad {}+ 14\text{,}976\text{,}266\text{,}612\text{,}440 n^{3} + 749\text{,}928\text{,}972\text{,}800 n^{4}\bigr) \\& \qquad / \bigl(30 (1 + n)^{2} (3 + 2 n)^{2} \bigl(1\text{,}182\text{,}754\text{,}225\text{,}349 + 628\text{,}371\text{,}674\text{,}302 n \\& \qquad {}+ 91\text{,}567\text{,}252\text{,}707 n^{2} + 3\text{,}749\text{,}644\text{,}864 n^{3}\bigr)\bigr) \\& \quad >0 \end{aligned}

for $$n\geq1$$. Combining with Theorem 1, the conclusion follows.

This is the end of Corollary 1. □

Combining (1.3) and Corollary 1, we obtain the following estimates for the Somos quadratic recurrence constant.

### Corollary 2

For every positive integer $$n\geq1$$, we have

$$2\exp \biggl\{ -\frac{1}{2}\gamma_{n} \biggl( \frac{1}{2} \biggr)-\frac{1}{2^{n+1}(n+\frac{3}{2})^{2}} \biggr\} < \sigma< 2\exp \biggl\{ - \frac{1}{2}\gamma _{n} \biggl(\frac{1}{2} \biggr)- \frac{1}{2^{n+1}(n+\frac{5}{2})^{2}} \biggr\} .$$
(2.6)

## Estimating $$\gamma(1/3)$$

Mortici  and Lu and Song  have provided a double inequality for the error estimate of $$\gamma(1/3)$$. In order to give the new error estimate for $$\gamma(1/3)$$, we need the following intermediary result.

### Lemma 2

For every integer positive k, we define

\begin{aligned}& b_{3}(k)=-\frac{1}{2x^{3}} \biggl(1+\frac{d_{0}}{x+\frac{k_{0} x}{x+\frac{k_{1} x}{x+\frac{k_{2} x}{x+k_{3}}}}} \biggr), \\& b_{4}(k)=-\frac{1}{2x^{3}} \biggl(1+\frac{d_{0}}{x+\frac{k_{0} x}{x+\frac{k_{1} x}{x+\frac{k_{2} x}{x+\frac{k_{3} x}{x+k_{4}}}}}} \biggr), \end{aligned}

where $$d_{0}=-\frac{9}{4}$$, $$k_{0}=\frac{18}{5}$$, $$k_{1}=\frac{392}{405}$$, $$k_{2}=\frac {1\text{,}880\text{,}525}{444\text{,}528}$$, $$k_{3}=\frac{905\text{,}967\text{,}495}{412\text{,}812\text{,}848}$$, $$k_{4}=\frac {33\text{,}856\text{,}400\text{,}240\text{,}124}{7\text{,}571\text{,}975\text{,}660\text{,}155}$$. Then, for every integer k, we have

$$b_{4}(k)-\frac{1}{3} b_{4}(k+1)< \frac{1}{k}-\ln\frac{k+1}{k}-\frac{1}{2k^{2}}< b_{3}(k)- \frac{1}{3} b_{3}(k+1).$$
(3.1)

### Proof

Based on our previous work we will apply multiple-correction method to study the double inequality of the error estimate as follows.

(Step 1) The initial correction. Because $$(\frac{1}{x}-\ln\frac{x+1}{x}-\frac{1}{2x^{2}} )'=\frac{1}{x^{3}(x+1)}$$, we choose $$b_{0}(x)=-\frac{1}{2x^{3}} (1+\frac{d_{0}}{x+k_{0}} )$$. Then letting the coefficient of $$x^{6}$$, $$x^{7}$$ of the molecule in the following fractions equal zero, we have $$d_{0}=-\frac{9}{4}$$, $$k_{0}=\frac{18}{5}$$, and

\begin{aligned} g_{0}'(x)&= \biggl(b_{0}(x)- \frac{1}{3} b_{0}(x+1)- \biggl(\frac{1}{x}-\ln \frac {x+1}{x}-\frac{1}{2x^{2}} \biggr) \biggr)' \\ &=\frac{385\text{,}641 + 1\text{,}357\text{,}920 x + 1\text{,}824\text{,}369 x^{2} + 1\text{,}223\text{,}822 x^{3} + 369\text{,}865 x^{4} + 39\text{,}200 x^{5}}{4 x^{4} (1 + x)^{4} (18 + 5 x)^{2} (23 + 5 x)^{2}} \\ &>0, \end{aligned}

we see as a result that $$g_{0}(x)$$ is strictly increasing.

(Step 2) The first correction. We let $$b_{1}(x)=-\frac{1}{2x^{3}} (1+\frac{d_{0}}{x+\frac{k_{0} x}{x+k_{1}}} )$$. Then letting the coefficient of $$x^{7}$$ of the molecule in the following fractions equal to zero, we have $$k_{1}=\frac{392}{405}$$ and

\begin{aligned} g_{1}'(x)&= \biggl(b_{1}(x)-\frac{1}{3} b_{1}(x+1)- \biggl(\frac{1}{x}-\ln\frac {x+1}{x}- \frac{1}{2x^{2}} \biggr) \biggr)' \\ &=\frac{-\Psi(6;x)}{4 x^{5} (1 + x)^{5} (370 + 81 x)^{2} (451 + 81 x)^{2}}. \end{aligned}

As $$\Psi(6;x)$$ has all coefficients positive, we see as a result that $$g_{1}(x)$$ is strictly decreasing.

(Step 3) The second correction. Similarly, we let $$b_{2}(x)=-\frac{1}{2x^{3}} (1+\frac{d_{0}}{x+\frac{k_{0} x}{x+\frac{k_{1} x}{x+k_{2}}}} )$$. Then we let the coefficient of $$x^{8}$$ of the molecule in the following fractions equal zero, we have $$k_{2}=\frac{1\text{,}880\text{,}525}{444\text{,}528}$$ and

\begin{aligned} g_{2}'(x)&= \biggl(b_{2}(x)-\frac{1}{3} b_{2}(x+1)- \biggl(\frac{1}{x}-\ln\frac {x+1}{x}- \frac{1}{2x^{2}} \biggr) \biggr)' \\ &=\frac{\Psi(7;x)}{4 x^{4} (1 + x)^{4} (752\text{,}210 + 434\text{,}565 x + 49\text{,}392 x^{2})^{2} (1\text{,}236\text{,}167 + 533\text{,}349 x + 49\text{,}392 x^{2})^{2}} \\ &>0, \end{aligned}

we see as a result that $$g_{2}(x)$$ is strictly increasing.

(Step 4) The third correction. We let $$b_{3}(x)=-\frac{1}{2x^{3}} (1+\frac{d_{0}}{x+\frac{k_{0} x}{x+\frac{k_{1} x}{x+\frac{k_{2}x}{x+k_{3}}}}} )$$. Then letting the coefficient of $$x^{9}$$ of the molecule in the following fractions equal zero, we have $$k_{3}=\frac{905\text{,}967\text{,}495}{412\text{,}812\text{,}848}$$ and

\begin{aligned} g_{3}'(x) =& \biggl(b_{3}(x)-\frac{1}{3} b_{3}(x+1)- \biggl(\frac{1}{x}-\ln\frac {x+1}{x}- \frac{1}{2x^{2}} \biggr) \biggr)' \\ =&-\Psi(8;x)/\bigl(4 x^{5} (1 + x)^{5} \bigl(26\text{,}595\text{,}045 + 11\text{,}576\text{,}565 x + 1\text{,}053\text{,}094 x^{2}\bigr)^{2} \\ &{}\times\bigl(39\text{,}224\text{,}704 + 13\text{,}682\text{,}753 x + 1\text{,}053\text{,}094 x^{2}\bigr)^{2}\bigr). \end{aligned}

As $$\Psi(8;x)$$ has all coefficients positive, we see as a result that $$g_{3}(x)$$ is strictly decreasing. But $$g_{3}(\infty)=0$$, so $$g_{3}(x)>0$$ on $$[1,\infty)$$. This finishes the proof of the right-hand inequality in (3.1).

(Step 5) The fourth correction. Similarly, we let $$b_{4}(x)=-\frac{1}{2x^{3}} (1+\frac{d_{0}}{x+\frac{k_{0} x}{x+\frac{k_{1} x}{x+\frac{k_{2}x}{x+\frac{k_{3}x}{x+k_{4}}}}}} )$$. Then letting the coefficient of $$x^{10}$$ of the molecule in the following fractions equal zero, we have $$k_{4}=\frac {33\text{,}856\text{,}400\text{,}240\text{,}124}{7\text{,}571\text{,}975\text{,}660\text{,}155}$$ and

\begin{aligned} g_{4}'(x)&= \biggl(b_{4}(x)-\frac{1}{3} b_{4}(x+1)- \biggl(\frac{1}{x}-\ln\frac {x+1}{x}- \frac{1}{2x^{2}} \biggr) \biggr)' \\ &=\frac{\Psi(9;x)}{4 x^{4} (1 + x)^{4} \Psi_{1}^{2}(3;x) \Psi _{2}^{2}(3;x)}>0, \end{aligned}

we see as a result that $$g_{4}(x)$$ is strictly increasing. But $$g_{4}(\infty)=0$$, so $$g_{4}(x)<0$$ on $$[1,\infty)$$. This finishes the proof of the left-hand inequality in (3.1).

This is the end of Lemma 2. □

By adding inequalities of the form

$$\frac{b_{4}(k)}{3^{k-1}}-\frac{b_{4}(k+1)}{3^{k}}< \frac{1}{3^{k-1}} \biggl( \frac{1}{k}-\ln\frac{k+1}{k} \biggr)-\frac{1}{2(3^{k-1})k^{2}}< \frac {b_{3}(k)}{3^{k-1}}-\frac{b_{3}(k+1)}{3^{k}}$$

from $$k=n+1$$ to $$k=\infty$$, we get

$$\frac{b_{4}(n+1)}{3^{n}}< \sum_{k=n+1}^{\infty} \frac{1}{3^{k-1}} \biggl(\frac{1}{k}-\ln\frac{k+1}{k} \biggr)- \sum _{k=n+1}^{\infty}\frac{1}{2(3^{k-1})k^{2}}< \frac{b_{3}(n+1)}{3^{n}}.$$
(3.2)

Combining equations (1.1) and (1.4), we have

$$\gamma \biggl(\frac{1}{3} \biggr)-\gamma_{n} \biggl(\frac{1}{3} \biggr)=\sum_{k=n+1}^{\infty} \frac{1}{3^{k-1}} \biggl(\frac{1}{k}-\ln\frac {k+1}{k} \biggr).$$
(3.3)

Using inequality (3.2) and equality (3.3), we have the following theorem.

### Theorem 2

For every positive integer n,

\begin{aligned}& \gamma_{n} \biggl(\frac{1}{3} \biggr)- \frac{\Psi_{1}(3;n)}{3^{n} 40 (1 + n)^{3} \Psi_{2}(3;n)}+\frac{3}{2} \sum_{k=n+1}^{\infty} \frac{1}{3^{k} k^{2}} \\& \quad < \gamma \biggl(\frac{1}{3} \biggr) \\& \quad < \gamma_{n} \biggl(\frac{1}{3} \biggr)- \frac{286\text{,}097\text{,}598+613\text{,}026\text{,}483 n+247\text{,}327\text{,}710 n^{2}+21\text{,}061\text{,}880 n^{3}}{3^{n}40 (1 + n)^{4} (39\text{,}224\text{,}704 + 13\text{,}682\text{,}753 n + 1\text{,}053\text{,}094 n^{2})} \\& \qquad {}+\frac{3}{2} \sum_{k=n+1}^{\infty} \frac{1}{3^{k} k^{2}}, \end{aligned}
(3.4)

where

\begin{aligned}& \Psi_{1}(3;n)=10\text{,}676\text{,}544\text{,}766\text{,}567 + 11\text{,}386\text{,}057\text{,}364\text{,}010 n \\& \hphantom{\Psi_{1}(3;n)={}}{}+ 2\text{,}742\text{,}044\text{,}504\text{,}220 n^{2} + 169\text{,}113\text{,}932\text{,}400 n^{3}, \\& \Psi_{2}(3;n)=1\text{,}261\text{,}190\text{,}652\text{,}791 + 833\text{,}073\text{,}379\text{,}047 n \\& \hphantom{\Psi_{2}(3;n)={}}{}+ 156\text{,}127\text{,}542\text{,}606 n^{2} + 8\text{,}455\text{,}696\text{,}620 n^{3}. \end{aligned}

### Proof

If we take into account that $$\frac{b_{3}(n+1)}{3^{n}}$$ and $$\frac{b_{4}(n+1)}{3^{n}}$$, combining equations (3.2) and (3.3), the conclusion follows.

This is the end of Theorem 2. □

From (3.4) we can provide another result, which has a simpler form than (3.4), although it is weaker than (3.4).

### Corollary 3

For every positive integer $$n\geq1$$, we have

$$\gamma_{n} \biggl(\frac{1}{3} \biggr)- \frac{1}{3^{n}4(n+1)^{3}}+\frac{1}{2 3^{n-1}(n+1)(3n+4)}< \gamma \biggl(\frac{1}{3} \biggr).$$
(3.5)

### Proof

We use the bounds

$$b_{4}(n+1)+\frac{1}{(n + 1)^{3}}=\frac{\Psi_{1}(3;x)}{40 ((1 + n)^{3})\Psi_{2}(3;x)}>0$$

for $$n\geq1$$, where

\begin{aligned}& \Psi_{1}(3;x)=39\text{,}771\text{,}081\text{,}345\text{,}073 + 21\text{,}936\text{,}877\text{,}797\text{,}870 n \\& \hphantom{\Psi_{1}(3;x)={}}{}+ 3\text{,}503\text{,}057\text{,}200\text{,}020 n^{2} + 169\text{,}113\text{,}932\text{,}400 n^{3}, \\& \Psi_{2}(3;x)=1\text{,}261\text{,}190\text{,}652\text{,}791 + 833\text{,}073\text{,}379\text{,}047 n \\& \hphantom{\Psi_{2}(3;x)={}}{}+ 156\text{,}127\text{,}542\text{,}606 n^{2} + 8\text{,}455\text{,}696\text{,}620 n^{3}, \end{aligned}

and the telescoping inequalities

\begin{aligned}& \frac{1}{3^{n-1}(3n^{2}+n)}-\frac{1}{3^{n}(3(n+1)^{2})+n+1} \\& \quad < \frac{1}{3^{n} n^{2}} < \frac{1}{3^{n-1}(2n^{2}+n)}-\frac{1}{3^{n}(2(n+1)^{2})+n+1}. \end{aligned}

Combining Theorem 2, the conclusion follows.

This is the end of Corollary 3. □

### Remark 3

It is worth to point out that the multiple-correction method provides a general way to find some continued fraction approximation of $$\sigma_{t}$$ for $$t>3$$. Similarly, repeating the above approach step by step, we can get more sharp inequalities. But this maybe brings about some computation increase, the details omitted here.

## References

1. Somos, M: Several constants related to quadratic recurrences. Unpublished note (1999)

2. Finch, SR: Mathematical Constants. Cambridge University Press, Cambridge (2003)

3. Guillera, J, Sondow, J: Double integrals and infinite products for some classical constants via analytic continuations of Lerch’s transcendent. Ramanujan J. 16(3), 247-270 (2008)

4. Ramanujan, S: Collected Papers of Srinivasa Ramanujan. Edited by Hardy, GH, Aiyar, PVS, Wilson, BM. Am. Math. Soc., Providence (2000)

5. Sloane, NJA: Sequences A052129, A112302, A114124, and A116603 in the On-Line Encyclopedia of Integer Sequences

6. Sondow, J, Hadjicostas, P: The generalized Euler-constant function $$\gamma(z)$$ and a generalization of Somos’ quadratic recurrence constant. J. Math. Anal. Appl. 332(1), 292-314 (2007)

7. Pilehrood, KH, Pilehrood, TH: Arithmetical properties of some series with logarithmic coefficients. Math. Z. 255(1), 117-131 (2007)

8. Mortici, C: Estimating the Somos’ quadratic recurrence constant. J. Number Theory 130, 2650-2657 (2010)

9. Lu, D, Song, Z: Some new continued fraction estimates of the Somos’ quadratic recurrence constant. J. Number Theory 155, 36-45 (2015)

10. Cao, XD, Xu, HM, You, X: Multiple-correction and faster approximation. J. Number Theory 149, 327-350 (2015)

11. Cao, XD: Multiple-correction and continued fraction approximation. J. Math. Anal. Appl. 424, 1425-1446 (2015)

12. You, X: Some new quicker convergences to Glaisher-Kinkelin’s and Bendersky-Adamchik’s constants. Appl. Math. Comput. 271, 123-130 (2015)

13. You, X, Chen, D-R: Improved continued fraction sequence convergent to the Somos’ quadratic recurrence constant. J. Math. Anal. Appl. 436, 513-520 (2016)

## Acknowledgements

This work was supported by the National Natural Science Foundation of China (Grant Nos. 61403034 and 11571267). Computations made in this paper were performed using Mathematica 9.0.

## Author information

Authors

### Corresponding author

Correspondence to Xu You.

### Competing interests

The authors declared that they have no competing interests.

### Authors’ contributions

The authors read and approved the final manuscript.

## Rights and permissions 