# Necessary and sufficient conditions for functions involving the psi function to be completely monotonic

## Abstract

We present the necessary and sufficient conditions such that the functions involving $$R ( x ) =\psi ( x+1/2 ) -\ln x$$ with a parameter are completely monotonic on $$( 0,\infty )$$, find three new sequences which are fast convergence toward the Euler-Mascheroni constant, and give a positive answer to the conjecture proposed by Chen (J. Math. Inequal. 3(1):79-91, 2009), where ψ is the digamma function.

## Introduction

A real-valued function f is said to be completely monotonic on the interval I if f has derivatives of all orders on I and satisfies

$$(-1)^{n}f^{(n)}(x)\geq0$$
(1.1)

for all $$x\in I$$ and $$n=0,1,2,\ldots$$ . f is said to be strictly completely monotonic on I if inequality (1.1) is strict.

It is well known that f is completely monotonic on $$(0,\infty)$$ if and only if

$$f(x)=\int_{0}^{\infty}e^{-xt}\, d\mu ( t ),$$

where μ is a nonnegative measure on $$[0,\infty)$$ such that the integral is convergent for all $$x>0$$ (see , p.161).

Let $$x>0$$, then the classical Euler gamma function Γ and psi (digamma) function ψ are, respectively, defined by

$$\Gamma ( x ) =\int_{0}^{\infty}t^{x-1}e^{-t} \,dt, \qquad \psi ( x ) =\frac{\Gamma^{\prime} ( x ) }{\Gamma ( x ) }.$$
(1.2)

The derivatives $$\psi^{\prime}, \psi^{\prime\prime}, \psi ^{\prime \prime\prime},\ldots$$ are known as polygamma functions. Recently, the gamma and polygamma functions have attracted the attention of many researchers since they play important roles in many branches, such as mathematical physics, probability, statistics, and engineering.

Let $$H_{n}=\sum_{k=1}^{n}\frac{1}{k}$$ be the harmonic number and $$D_{n}=H_{n}-\ln n$$. Then the well-known Euler-Mascheroni constant $$\gamma=0.577215664\ldots$$ can be expressed as $$\gamma=H_{n}-\psi(n+1)$$ or $$\gamma=\lim_{n\rightarrow\infty}D_{n}$$, and the double inequality

$$\frac{1}{2 ( n+1 ) }< D_{n}-\gamma<\frac{1}{2n}$$

holds for all $$n\in\mathbb{N}$$ (see [2, 3]). Therefore, the convergence rate of $$D_{n}$$ is very slowly. Recently, many results involving the quicker convergence toward the Euler-Mascheroni constant can be found in the literature .

In 1993, DeTemple  introduced the DeTemple sequence

$$R_{n}=\sum_{k=1}^{n} \frac{1}{k}-\ln \biggl( n+\frac{1}{2} \biggr)$$
(1.3)

and found that it satisfies the double inequalities

$$\frac{1}{24 ( n+1 ) ^{2}}< R_{n}-\gamma<\frac{1}{24n^{2}}$$
(1.4)

and

$$\frac{7}{960}\frac{1}{ ( n+1 ) ^{4}}< R_{n}-\gamma-\frac {1}{24n^{2}}< \frac{7}{960}\frac{1}{n^{4}}$$
(1.5)

for all $$n\in\mathbb{N}$$.

Villarino (, Theorem 1.7) proved that the double inequality

$$\frac{1}{24 ( n+1/2 ) ^{2}+21/5}< R_{n}-\gamma<\frac{1}{24 ( n+1/2 ) ^{2}+1/ ( 1-\ln3+\ln2-\gamma ) -54}$$
(1.6)

holds for all $$n\in\mathbb{N}$$ with the best possible constants $$21/5$$ and $$1/(1-\ln3+\ln2-\gamma)-54=3.739\ldots$$ .

In , Chen proved that the double inequality

$$\frac{1}{24} ( n+\lambda ) ^{-2}< R_{n}-\gamma< \frac {1}{24} \biggl( n+\frac{1}{2} \biggr) ^{-2}$$
(1.7)

holds for all $$n\in\mathbb{N}$$ with the best possible constants

$$\lambda=\frac{1}{2\sqrt{6 ( 1-\gamma-\ln3+\ln2 ) }}-1=0.551\ldots$$

and $$1/2$$.

Mortici (, Theorem 2.1) presented the bounds for $$R_{n}-\gamma$$ as follows:

$$\frac{1}{24} \biggl( n+\frac{1}{2}+\frac{7}{80n} \biggr) ^{-2}< R_{n}-\gamma<\frac{1}{24} \biggl( n+ \frac{1}{2} \biggr) ^{-2}.$$
(1.8)

In , the authors established the inequality

$$\gamma+\ln \biggl( n+\frac{1}{2} \biggr) < \sum _{k=1}^{n}\frac{1}{k}\leq \gamma+\ln \bigl( n+e^{1-\gamma}-1 \bigr),$$

which is equivalent to

$$0< R_{n}-\gamma\leq\ln\frac{n+e^{1-\gamma}-1}{n+1/2}.$$

Karatsuba  proved that the sequence

$$H(n)= ( R_{n}-\gamma ) n^{2}= \biggl( \psi ( n+1 ) -\ln \biggl( n+\frac{1}{2} \biggr) \biggr) n^{2}$$
(1.9)

is strictly increasing with respect to all $$n\in\mathbb{N}$$.

In , the authors pointed out that $$(1+1/n)^{2}H(n)$$ is a strictly decreasing and convex sequence by use of computer experiments. Chen (, Theorem 2) proved that both $$H(n)$$ and $$( ( n+1/2 ) /n)^{2}H(n)$$ are strictly increasing and concave sequences, while $$( (n+1)/n ) ^{2}H(n)$$ is a strictly decreasing and convex sequence, and conjectured that:

1. (i)

The two functions $$H(x)=[\psi(x+1)-\ln(x+1/2)]x^{2}$$ and $$[ (x+1/2 )/x]^{2}H(x)$$ are so-called Bernstein functions on $$(0,\infty)$$. That is,

\begin{aligned}& H(x) > 0,\quad ( -1 ) ^{n} \bigl[ H(x) \bigr] ^{ ( n+1 ) }>0, \\& \bigl( ( x+1/2 ) /x\bigr)^{2}H(x) > 0,\quad ( -1 ) ^{n} \bigl[ \bigl( ( x+1/2 ) /x\bigr)^{2}H(x) \bigr] ^{ ( n+1 ) }>0 \end{aligned}

for $$x>0$$ and $$n\in\mathbb{N}$$.

2. (ii)

The function $$( (x+1)/x ) ^{2}H(x)$$ is strictly completely monotonic on $$(0,\infty)$$.

It is not difficult to verify that

\begin{aligned}& -H^{\prime\prime}\bigl(0^{+}\bigr) = 2\ln2-2\gamma=-0.2318\ldots< 0, \\& -H^{\prime\prime}(1/2) = 2\gamma+4\ln2+\frac{7}{2}\sum _{n=1}^{\infty}\frac{1}{n^{3}} -\pi^{2}+ \frac{7}{4}=0.01461\ldots>0. \end{aligned}

Therefore, the function $$H(x)$$ is not a Bernstein function on $$(0,\infty)$$.

The main purpose of this paper is to give a positive answer to the conjecture (ii) and present several necessary and sufficient conditions such that the functions involving

$$R ( x ) =\psi ( x+1/2 ) -\ln x$$
(1.10)

with a parameter are strictly completely monotone on $$( 0,\infty )$$.

## Lemmas

In order to prove our results we need several lemmas, which we present in this section.

### Lemma 1

Let $$R(x)$$ be defined by (1.10) and $$Q(t)$$ be defined on $$(0, \infty)$$ by

$$Q ( t ) =\frac{1}{t}-\frac{1}{2\sinh\frac{t}{2}}.$$
(2.1)

Then the following identities are valid:

\begin{aligned}& R ( x ) = \int_{0}^{\infty}e^{-xt}Q ( t ) \,dt, \end{aligned}
(2.2)
\begin{aligned}& xR ( x ) = \int_{0}^{\infty}e^{-xt}Q^{\prime} ( t ) \,dt, \end{aligned}
(2.3)
\begin{aligned}& x^{2}R ( x ) = \frac{1}{24}+\int_{0}^{\infty}e^{-xt}Q^{\prime \prime} ( t ) \,dt, \end{aligned}
(2.4)
\begin{aligned}& x^{3}R ( x ) = \frac{1}{24}x+\int_{0}^{\infty }e^{-xt}Q^{\prime \prime\prime} ( t ) \,dt, \end{aligned}
(2.5)
\begin{aligned}& x^{4}R ( x ) = \frac{1}{24}x^{2}-\frac{7}{960}+ \int_{0}^{\infty }e^{-xt}Q^{(4)} ( t ) \,dt. \end{aligned}
(2.6)

### Proof

Making use of the integral representations , p.259

$$\psi(x)=\int_{0}^{\infty} \biggl( \frac{e^{-t}}{t}- \frac {e^{-xt}}{1-e^{-t}} \biggr) \,dt\quad \text{and}\quad \ln x=\int _{0}^{\infty}\frac{e^{-t}-e^{-xt}}{t}\,dt,$$

we get

\begin{aligned} R ( x ) =&\psi\biggl(x+\frac{1}{2}\biggr)-\ln x=\int_{0}^{\infty} \biggl( \frac{e^{-xt}}{t}-\frac{e^{-(x+1/2)t}}{1-e^{-t}} \biggr) \,dt \\ =&\int_{0}^{\infty}e^{-xt} \biggl( \frac{1}{t}-\frac{1}{2\sinh\frac {t}{2}} \biggr) \,dt=\int _{0}^{\infty}e^{-xt}Q ( t ) \,dt. \end{aligned}

\begin{aligned} xR ( x ) =&x\int_{0}^{\infty}e^{-xt}Q ( t ) \,dt=-\int_{0}^{\infty}Q ( t ) \, de^{-xt} \\ =&-e^{-xt}Q ( t ) |_{0}^{\infty}+\int _{0}^{\infty }e^{-xt}Q^{\prime} ( t ) \,dt= \int_{0}^{\infty}e^{-xt}Q^{\prime } ( t ) \,dt, \end{aligned}

where the last equality holds due to $$\lim_{t\rightarrow\infty} ( e^{-xt}Q ( t ) ) =\lim_{t\rightarrow0} ( e^{-xt}Q ( t ) ) =0$$.

Integration by parts again together with

$$\lim_{t\rightarrow\infty} \bigl( e^{-xt}Q^{\prime} ( t ) \bigr) =0\quad \text{and}\quad \lim_{t\rightarrow0} \bigl( e^{-xt}Q^{\prime} ( t ) \bigr) =-\frac{1}{24}$$

\begin{aligned} x^{2}R ( x ) =&x\int_{0}^{\infty}e^{-xt}Q^{\prime} ( t ) \,dt=-e^{-xt}Q^{\prime} ( t ) |_{0}^{\infty }+ \int_{0}^{\infty}e^{-xt}Q^{\prime\prime} ( t ) \,dt \\ =&\frac{1}{24}+\int_{0}^{\infty}e^{-xt}Q^{\prime\prime} ( t ) \,dt. \end{aligned}

Similarly, we have

\begin{aligned} \begin{aligned} x^{3}R ( x ) &=\frac{1}{24}x+x\int_{0}^{\infty }e^{-xt}Q^{\prime \prime} ( t ) \,dt=\frac{1}{24}x-e^{-xt}Q^{\prime\prime} ( t ) |_{0}^{\infty}+\int_{0}^{\infty}e^{-xt}Q^{\prime\prime \prime } ( t ) \,dt \\ &=\frac{1}{24}x+\int_{0}^{\infty}e^{-xt}Q^{\prime\prime\prime} ( t )\,dt \end{aligned} \end{aligned}

due to $$\lim_{t\rightarrow\infty} ( e^{-xt}Q^{\prime\prime} ( t ) ) =\lim_{t\rightarrow0} ( e^{-xt}Q^{\prime\prime } ( t ) ) =0$$, and

\begin{aligned} x^{4}R ( x ) =&\frac{1}{24}x^{2}+x\int _{0}^{\infty }e^{-xt}Q^{\prime\prime\prime} ( t ) \,dt=\frac{1}{24}x^{2}-e^{-xt}Q^{\prime\prime\prime} ( t ) |_{0}^{\infty }+\int_{0}^{\infty}e^{-xt}Q^{(4)} ( t ) \,dt \\ =&\frac{1}{24}x^{2}-\frac{7}{960}+\int _{0}^{\infty}e^{-xt}Q^{(4)} ( t ) \,dt \end{aligned}

due to

$$\lim_{t\rightarrow\infty} \bigl( e^{-xt}Q^{\prime\prime\prime} ( t ) \bigr) =0\quad \text{and}\quad \lim_{t\rightarrow0} \bigl( e^{-xt}Q^{\prime\prime\prime} ( t ) \bigr) =-\frac{7}{960}.$$

□

### Lemma 2

(, Lemma 7)

Let $$P ( t )$$ be a power series which is convergent on $$( 0,\infty )$$ defined by

$$P ( t ) =\sum_{i=m+1}^{\infty}a_{i}t^{i}- \sum_{i=0}^{m}a_{i}t^{i},$$

where $$a_{i}\geq0$$ and $$a_{j}\geq0$$ for $$i\geq m+1$$ and $$0\leq j\leq m-1$$, $$a_{m}>0$$, and $$\sum_{i=m+1}^{\infty}a_{i}>0$$. Then there exists $$t_{0}\in ( 0,\infty )$$ such that $$P (t_{0} ) =0$$, $$P ( t ) <0$$ for $$t\in ( 0,t_{0} )$$ and $$P ( t ) >0$$ for $$t\in ( t_{0},\infty )$$.

### Lemma 3

Let $$Q(t)$$ be defined by (2.1). Then $$Q^{\prime } ( t ) \geq c_{0}Q ( t )$$ for $$t>0$$, where

$$c_{0}=\min_{t>0} \biggl( \frac{Q^{\prime} ( t ) }{Q ( t ) } \biggr)=-0.06187\ldots.$$
(2.7)

### Proof

\begin{aligned}& \frac{Q^{\prime} ( t ) }{Q ( t ) }=\frac{\frac {1}{4}\frac{\cosh\frac{t}{2}}{\sinh^{2}\frac{t}{2}}-\frac{1}{t^{2}}}{\frac {1}{t}-\frac{1}{2\sinh\frac{t}{2}}}=\frac{t^{2}\cosh\frac{t}{2}-4\sinh^{2}\frac {t}{2}}{4t\sinh^{2}\frac{t}{2}-2t^{2}\sinh\frac{t}{2}}, \\& \biggl( \frac{Q^{\prime} ( t ) }{Q ( t ) } \biggr) ^{\prime } = \frac{1}{4t^{2} ( t-2\sinh\frac{t}{2} ) ^{2}\sinh ^{2}\frac{t}{2}} \biggl(-16t\sinh^{3}\frac{t}{2}+t^{4} \cosh^{2}\frac{t}{2}+2t^{3}\sinh ^{3}\frac{t}{2} \\& \hphantom{\biggl( \frac{Q^{\prime} ( t ) }{Q ( t ) } \biggr) ^{\prime } = }{}-t^{4}\sinh^{2}\frac{t}{2}+16 \sinh^{4}\frac{t}{2}+8t^{2}\cosh\frac {t}{2}\sinh^{2}\frac{t}{2}-4t^{3}\cosh^{2} \frac{t}{2}\sinh\frac{t}{2}\biggr) \\& \hphantom{\biggl( \frac{Q^{\prime} ( t ) }{Q ( t ) } \biggr) ^{\prime } }: =\frac{p ( \frac{t}{2} ) }{4t^{2} ( t-2\sinh\frac{t}{2} ) ^{2}\sinh^{2}\frac{t}{2}}, \end{aligned}

where

\begin{aligned} p ( t ) =&16\bigl(t^{4}\cosh^{2}t+t^{3} \sinh^{3}t-t^{4}\sinh ^{2}t+\sinh^{4}t-2t \sinh^{3}t \\ &{}+2t^{2}\cosh t\sinh^{2}t-2t^{3} \cosh^{2}t\sinh t\bigr). \end{aligned}

Using the ‘product into sum’ formulas and Taylor expansion we get

\begin{aligned} \frac{1}{2}p ( t ) =& \cosh4t+4t^{2}\cosh3t-2t^{3} \sinh 3t-4t\sinh3t-4\cosh2t \\ &{}-4t^{2}\cosh t-10t^{3}\sinh t+12t\sinh t+8t^{4}+3 \\ =& \sum_{n=0}^{\infty}\frac{4^{2n}t^{2n}}{ ( 2n ) !}+4 \sum_{n=1}^{\infty}\frac{3^{2n-2}t^{2n}}{ ( 2n-2 ) !}-2 \sum_{n=2}^{\infty}\frac{3^{2n-3}t^{2n}}{ ( 2n-3 ) !}-4 \sum_{n=1}^{\infty}\frac{3^{2n-1}t^{2n}}{ ( 2n-1 ) !} \\ &{}-4\sum_{n=0}^{\infty}\frac{2^{2n}t^{2n}}{ ( 2n ) !}-4 \sum_{n=1}^{\infty}\frac{t^{2n}}{ ( 2n-2 ) !}-10\sum _{n=2}^{ \infty}\frac{t^{2n}}{ ( 2n-3 ) !} +12\sum_{n=1}^{\infty}\frac{t^{2n}}{ ( 2n-1 ) !}+8t^{4}+3 \\ :=&\sum_{n=3}^{\infty}\frac{u_{n}}{ ( 2n ) !}t^{2n}, \end{aligned}

where

$$u_{n}=4^{2n}-8n \bigl( 2n^{2}-9n+13 \bigr) 3^{2n-3}-2^{2n+2}-8n \bigl( 10n^{2}-13n+1 \bigr) .$$

It is not difficult to verify that $$u_{3}=0$$, $$u_{n}<0$$ for $$4\leq n\leq10$$ and $$u_{11}=1\text{,}636\text{,}643\text{,}754\text{,}240>0$$. Note that

\begin{aligned} u_{n+1}-16u_{n} =&8 \bigl( 14n^{3}-117n^{2}+199n-54 \bigr) 3^{2n-3}+48\times 2^{2n} \\ &{}+1\text{,}200n^{3}-1\text{,}800n^{2}+88n+16>0 \end{aligned}

for $$n\geq11$$. Therefore, $$u_{n}\geq0$$ for $$n\geq11$$.

From Lemma 2 we clearly see that there exists $$t_{0}\in(0, \infty)$$ such that $$Q^{\prime}(t)/Q(t)$$ is strictly decreasing on $$(0, t_{0})$$ and strictly increasing on $$(t_{0}, \infty)$$. Therefore, Lemma 3 follows from the piecewise monotonicity of $$Q^{\prime}/Q$$ and the numerical computations results $$t_{0}=15.4015\ldots$$ and $$Q^{\prime}(t_{0})/Q(t_{0})=-0.06187\ldots$$ . □

### Lemma 4

The inequalities

\begin{aligned}& \frac{\sinh t}{t} > 3\frac{2\cosh t+3}{\cosh t+14}, \end{aligned}
(2.8)
\begin{aligned}& \frac{\sinh t}{t} > 15\frac{2\cosh^{2}t+10\cosh t+9}{2\cosh ^{2}t+101\cosh t+212}, \end{aligned}
(2.9)
\begin{aligned}& \frac{\sinh t}{t} < 15\frac{18\cosh^{2}t+160\cosh t+179}{1\text{,}159\cosh ^{2}t+4\text{,}192\cosh t+4}\cosh t \end{aligned}
(2.10)

hold for $$t>0$$.

### Proof

Inequality (2.8) can be found in , Theorem 18.

To prove (2.9), it suffices to show that for $$t>0$$,

$$p_{1} ( t ) :=\frac{2\cosh^{2}t+101\cosh t+212}{2\cosh ^{2}t+10\cosh t+9}\sinh t-15t>0.$$

\begin{aligned} p_{1}^{\prime} ( t ) =&\frac{2\cosh^{2}t+101\cosh t+212}{2\cosh ^{2}t+10\cosh t+9}\cosh t-7 \frac{26\cosh^{2}t+116\cosh t+173}{ ( 2\cosh^{2}t+10\cosh t+9 ) ^{2}}\sinh^{2}t-15 \\ =&\frac{4 ( \cosh t-1 ) ^{5}}{ ( 2\cosh^{2}t+10\cosh t+9 ) ^{2}}>0, \end{aligned}

which implies that $$p_{1} ( t ) >p_{1} ( 0 ) =0$$.

Similarly, inequality (2.10) is equivalent to

$$p_{2} ( t ) :=\frac{1\text{,}159\cosh^{2}t+4\text{,}192\cosh t+4}{ ( 18\cosh ^{2}t+160\cosh t+179 ) \cosh t}\sinh t-15t< 0.$$

Differentiating $$p_{2}(t)$$ yields

\begin{aligned} p_{2}^{\prime} ( t ) =&\frac{1\text{,}159\cosh^{2}t+4\text{,}192\cosh t+4}{ ( 18\cosh^{2}t+160\cosh t+179 ) \cosh t}\cosh t \\ &{}+ \bigl( \sinh ^{2}t \bigr) \frac{d}{dx} \biggl( \frac{1\text{,}159x^{2}+4\text{,}192x+4}{ ( 18x^{2}+160x+179 ) x} \biggr) -15 \\ =&-\frac{4 ( 1\text{,}215x+179 ) ( x-1 ) ^{5}}{x^{2} ( 18x^{2}+160x+179 ) ^{2}}< 0, \end{aligned}

where $$x=\cosh t>1$$. Therefore, $$p_{2} ( t ) < p_{2} ( 0 ) =0$$. □

### Lemma 5

Let $$Q(t)$$ be defined by (2.1). Then the inequality

$$q_{1} ( t ) :=Q^{\prime\prime} ( t ) +\frac{7}{40}Q ( t ) >0$$

holds for all $$t>0$$.

### Proof

\begin{aligned}& Q^{\prime\prime} ( t ) =\frac{1}{8\sinh\frac{t}{2}}- \frac {1}{4}\frac{\cosh^{2}\frac{t}{2}}{\sinh^{3}\frac{t}{2}}+\frac{2}{t^{3}}, \\& q_{1} ( t ) =-\frac{1}{80}\frac{20t^{3}\cosh^{2}\frac{t}{2}-14t^{2}\sinh^{3}\frac{t}{2}-3t^{3}\sinh^{2}\frac{t}{2}-160\sinh ^{3}\frac{t}{2}}{t^{3}\sinh^{3}\frac{t}{2}}. \end{aligned}
(2.11)

Making use of inequality (2.8) we get

\begin{aligned} \bigl( 80\sinh^{3}t \bigr) q_{1} ( 2t ) =&20 \biggl( \frac{\sinh t}{t} \biggr) ^{3}+7 \bigl( \sinh^{2}t \bigr) \frac{\sinh t}{t} \\ &{}+3\sinh ^{2}t-20 \cosh^{2}t \\ >&20 \biggl(3\frac{2\cosh t+3}{\cosh t+14} \biggr) ^{3}+7 \bigl( \cosh ^{2}t-1 \bigr) \biggl( 3\frac{ 2\cosh t+3}{\cosh t+14} \biggr) \\ &{}+3 \bigl( \cosh ^{2}t-1 \bigr) -20\cosh^{2}t \\ =&25 \bigl( \cosh^{2}t+24\cosh t+240 \bigr) \frac{ ( \cosh t-1 ) ^{3}}{ ( \cosh t+14 ) ^{3}}>0. \end{aligned}

□

### Lemma 6

Let $$Q(t)$$ be defined by (2.1). Then

$$q_{2} ( t ) :=Q^{(4)} ( t ) -\frac{31}{336}Q ( t ) < 0$$

for all $$t>0$$.

### Proof

\begin{aligned}& Q^{(4)} ( t ) =\frac{7}{8} \frac{\cosh^{2}\frac{1}{2}t}{\sinh ^{3}\frac{1}{2}t}-\frac{3}{4}\frac{\cosh^{4}\frac{1}{2}t}{\sinh^{5}\frac {1}{2}t}-\frac{5}{32\sinh\frac{1}{2}t}+ \frac{24}{t^{5}}, \\& q_{2} ( t ) =-\frac{1}{336} \\& \hphantom{q_{2} ( t ) =}{}\times \frac{252t^{5}\cosh^{4}\frac{t}{2}+31t^{4}\sinh^{5}\frac{t}{2}+37t^{5}\sinh^{4}\frac{t}{2}-8\text{,}064\sinh ^{5}\frac{t}{2}-294t^{5}\cosh^{2}\frac{t}{2}\sinh^{2}\frac {t}{2}}{t^{5}\sinh ^{5}\frac{t}{2}}, \\& - \bigl( 672\sinh^{5}t \bigr) q_{2} ( 2t ) = -504 \biggl( \frac{ \sinh t}{t} \biggr) ^{5}+31 \bigl( \sinh^{4}t \bigr) \frac{\sinh t}{t} \\& \hphantom{- \bigl( 672\sinh^{5}t \bigr) q_{2} ( 2t ) =}{} +504\cosh^{4}t-588\cosh^{2}t \sinh^{2}t+74\sinh^{4}t. \end{aligned}
(2.12)

Let

$$U ( y ) =-504y^{5}+31\bigl(\sinh^{4}t\bigr)y+504 \cosh^{4}t-588\cosh ^{2}t\sinh^{2}t+74 \sinh^{4}t.$$

Then it suffices to prove that $$U ( ( \sinh t ) /t ) >0$$ for $$t>0$$.

It follows from $$U^{\prime} ( y ) =31\sinh^{4}t-2\text{,}520y^{4}$$ that U is strictly increasing with respect to y on $$(1, \sqrt {31/2\text{,}520}\sinh t ]$$ and strictly decreasing with respect to y on $$[\sqrt {31/2\text{,}520}\sinh t,\infty)$$. We divide the proof into two cases.

Case 1: $$t\in ( \sqrt{2\text{,}520/31},\infty )$$. Then inequality (2.8) leads to

$$1< 3\frac{2\cosh t+3}{\cosh t+14}<\frac{\sinh t}{t}<\sqrt{\frac {31}{2\text{,}520}}\sinh t,$$

that is,

$$3\frac{2\cosh t+3}{\cosh t+14},\frac{\sinh t}{t}\in \bigl( 1,\sqrt {31/2 \text{,}520}\sinh t \bigr) ,$$

and so

\begin{aligned} U \biggl( \frac{\sinh t}{t} \biggr) >&U \biggl( 3\frac{2\cosh t+3}{\cosh t+14} \biggr) \\ =& \bigl( 504\cosh^{4}t-588\cosh^{2}t \sinh^{2}t+74\sinh ^{4}t \bigr) \\ &{}+31 \bigl( \sinh^{4}t \bigr) \times3\frac{2\cosh t+3}{\cosh t+14}-504 \biggl( 3\frac{2\cosh t+3}{\cosh t+14} \biggr) ^{5}. \end{aligned}

Let $$\cosh t=x$$, then $$\sinh^{2}t=x^{2}-1$$, and

$$U \biggl( \frac{\sinh t}{t} \biggr) >\frac{ ( x-1 ) ^{3}}{ ( x+14 ) ^{5}}U_{1} ( x ),$$

where

\begin{aligned} U_{1} ( x ) =&176x^{6}+10 \text{,}523x^{5}+245 \text{,}869x^{4}+2\text{,}810 \text{,}864x^{3} \\ &{}+12\text{,} 467 \text{,}224x^{2}+12 \text{,}511\text{,} 688x-20\text{,} 756\text{,} 344. \end{aligned}

It is not difficult to verify that $$U_{1} ( x ) >U_{1} ( 1 ) =7\text{,}290\text{,} 000>0$$, which implies that $$U ( ( \sinh t ) /t ) >0$$ for $$t\in ( \sqrt{2\text{,}520/31},\infty )$$.

Case 2: $$t\in(0,\sqrt{2\text{,}520/31}]$$. Then it follows from (2.10) and the piecewise monotonicity of U that

\begin{aligned}& \infty>15\frac{18\cosh^{2}t+160\cosh t+179}{1\text{,}159\cosh^{2}t+4\text{,}192\cosh t+4}\cosh t>\frac{\sinh t}{t}>\sqrt{ \frac{31}{2\text{,}520}}\sinh t, \\& U \biggl( \frac{\sinh t}{t} \biggr) >U \biggl( 15\frac{18\cosh^{2}t+160\cosh t+179}{1\text{,}159\cosh^{2}t+4\text{,}192\cosh t+4}\cosh t \biggr) . \end{aligned}

Let $$\cosh t=x$$, then

$$U \biggl(\frac{\sinh t}{t} \biggr)>U \biggl( 15\frac{18x^{2}+160x+179}{1\text{,}159x^{2}+4\text{,}192x+4}x \biggr) = \frac{ ( x-1 ) ^{4}}{ ( 1\text{,}159x^{2}+4\text{,}192x+4 ) ^{5}}U_{2} ( x ) ,$$

where

\begin{aligned} U_{2} ( x ) =&14 \text{,}379\text{,} 675\text{,} 269\text{,} 523 \text{,}570x^{11}+357 \text{,}214 \text{,}567\text{,} 270 \text{,}415 \text{,}330x^{10} \\ &{}+3\text{,}604 \text{,}910 \text{,}878 \text{,}299\text{,} 956 \text{,}955x^{9}+19\text{,} 027 \text{,}526\text{,} 850 \text{,}473 \text{,} 930 \text{,}600x^{8} \\ &{}+55 \text{,}570 \text{,}610 \text{,}110\text{,} 726\text{,} 848\text{,} 080x^{7}+85 \text{,}295 \text{,}682 \text{,}448 \text{,}077 \text{,}545\text{,} 696x^{6} \\ &{}+54\text{,} 079 \text{,}668 \text{,}524 \text{,}631 \text{,}977 \text{,}864x^{5}+560\text{,} 130\text{,} 320 \text{,}580 \text{,}220 \text{,}160x^{4} \\ &{}+1\text{,}016\text{,} 873 \text{,}963 \text{,}329 \text{,}280x^{3}+923 \text{,} 378 \text{,}178 \text{,}560x^{2} \\ &{}+418\text{,} 677 \text{,}504x+75\text{,} 776>0. \end{aligned}

□

### Lemma 7

Let $$Q(t)$$ be defined by (2.1). Then

$$q_{3} ( t ) :=Q^{(4)} ( t ) +\frac{11\text{,} 165}{8\text{,}284}Q^{\prime \prime} ( t ) +\frac{199 \text{,}849}{1\text{,}391 \text{,}712}Q ( t ) >0$$

for all $$t>0$$.

### Proof

It follows from (2.1), (2.11), and (2.12) that

\begin{aligned}& q_{3} ( t ) = \frac{1}{2\text{,}783\text{,} 424t^{5}\sinh^{5}\frac{t}{2}}\biggl(-2\text{,}087 \text{,} 568t^{5}\cosh^{4}\frac{t}{2}+1\text{,}497 \text{,}636t^{5}\cosh^{2}\frac{t}{2}\sinh^{2}\frac{t}{2} \\& \hphantom{q_{3} ( t ) =}{} -165\text{,} 829t^{5}\sinh^{4} \frac{t}{2}+399\text{,} 698t^{4}\sinh^{5} \frac{t}{2} \\& \hphantom{q_{3} ( t ) =}{} +7\text{,}502 \text{,}880t^{2}\sinh^{5} \frac{t}{2}+66\text{,} 802 \text{,}176\sinh^{5} \frac{t}{2}\biggr), \\& \bigl( 2\text{,}783 \text{,}424\sinh^{5}t \bigr) q_{3} ( 2t ) \\& \quad = - \bigl( 2\text{,}087 \text{,}568\cosh^{4}t+165 \text{,}829 \sinh^{4}t-1\text{,}497\text{,} 636\cosh ^{2}t \sinh^{2}t \bigr) \\& \qquad {} +199\text{,} 849 \bigl( \sinh^{4}t \bigr) \frac{\sinh t}{t}+937 \text{,}860 \bigl( \sinh ^{2}t \bigr) \biggl( \frac{\sinh t}{t} \biggr) ^{3} \\& \qquad {}+2\text{,}087 \text{,}568 \biggl( \frac{\sinh t}{t} \biggr) ^{5}. \end{aligned}

Let $$\cosh t=x>1$$, then (2.9) leads to

\begin{aligned} \bigl( 2\text{,}783\text{,} 424\sinh^{5}t \bigr) q_{3} ( 2t ) >&- \bigl( 2\text{,}087 \text{,}568x^{4}+165 \text{,}829 \bigl( x^{2}-1 \bigr) ^{2}-1\text{,}497 \text{,}636x^{2} \bigl( x^{2}-1 \bigr) \bigr) \\ &{}+199\text{,} 849 \bigl( x^{2}-1 \bigr) ^{2} \biggl( 15 \frac{2x^{2}+10x+9}{2x^{2}+101x+212} \biggr) \\ &{}+937 \text{,}860 \bigl( x^{2}-1 \bigr) \biggl( 15 \frac {2x^{2}+10x+9}{2x^{2}+101x+212} \biggr) ^{3} \\ &{}+2\text{,}087 \text{,}568 \biggl( 15\frac{2x^{2}+10x+9}{2x^{2}+101x+212} \biggr) ^{5} \\ =&\frac{7 ( x-1 ) ^{5}}{ ( 2x^{2}+101x+212 ) ^{5}}q_{4} ( x ) >0, \end{aligned}

where the last inequality holds due to

\begin{aligned} q_{4} ( x ) =&10\text{,} 249\text{,} 024x^{9}+2 \text{,}015 \text{,}594\text{,} 800x^{8}+163 \text{,}876\text{,} 520 \text{,}192x^{7} \\ &{}+6\text{,}681\text{,} 271\text{,} 280\text{,} 040x^{6}+136\text{,} 012 \text{,}433\text{,} 414\text{,} 956x^{5} \\ &{}+1 \text{,}069 \text{,}481\text{,} 086\text{,} 377\text{,} 851x^{4}+4 \text{,}121 \text{,}483 \text{,}475\text{,}973\text{,} 500x^{3} \\ &{}+8\text{,}450\text{,} 810\text{,} 874 \text{,}059\text{,} 188x^{2}+8\text{,}899 \text{,}895 \text{,}239 \text{,}232 \text{,}240x \\ &{}+3\text{,}802\text{,} 278 \text{,}457\text{,}617\text{,} 584. \end{aligned}

□

## Main results

### Theorem 1

Let $$R(x)$$ be defined on $$( 0,\infty )$$ by (1.10). Then the function

$$h_{a} ( x ) =(x+a)^{2}R ( x )$$

is strictly completely monotonic on $$(0,\infty)$$ if $$a\geq a_{0}=\sqrt{ c_{0}^{2}+7/40}-c_{0}=0.4847\ldots$$ , where $$c_{0}=-0.06187\ldots$$ is given by (2.7).

### Proof

It follows from (2.2)-(2.4) that

\begin{aligned} h_{a} ( x ) =&(x+a)^{2}R ( x ) =x^{2}R ( x ) +2axR ( x ) +a^{2}R ( x ) \\ =&\frac{1}{24}+\int_{0}^{\infty}e^{-xt}Q^{\prime\prime} ( t ) \,dt+2a\int_{0}^{\infty}e^{-xt}Q^{\prime} ( t ) \,dt+a^{2}\int_{0}^{\infty}e^{-xt}Q ( t ) \,dt \\ =&\frac{1}{24}+\int_{0}^{\infty}e^{-xt} \bigl( Q^{\prime\prime} ( t ) +2aQ^{\prime} ( t ) +a^{2}Q ( t ) \bigr) \,dt \\ \triangleq&\frac{1}{24}+\int_{0}^{\infty}e^{-xt}Q ( t ) \delta_{a} ( t ) \,dt. \end{aligned}

We clearly see that $$Q ( t ) >0$$ for $$t>0$$ and Lemmas 3 and 5 imply that

\begin{aligned} \delta_{a} ( t ) =&\frac{Q^{\prime\prime} ( t ) }{ Q ( t ) }+2a\frac{Q^{\prime} ( t ) }{Q ( t ) }+a^{2} \geq a^{2}+2ac_{0}-\frac{7}{40} \\ =& \biggl( a+c_{0}+\sqrt{c_{0}^{2}+ \frac{7}{40}} \biggr) \biggl( a+c_{0}-\sqrt{c_{0}^{2}+ \frac{7}{40}} \biggr) \geq0 \end{aligned}

if $$a\geq\sqrt{c_{0}^{2}+7/40}-c_{0}$$. □

Taking $$a=1/2$$ and replacing x by $$( x+1/2 )$$ in Theorem 1, we have the following.

### Corollary 1

The function $$( (x+1)/x ) ^{2}H(x)$$ is strictly completely monotonic on $$(-1/2,\infty)$$.

### Remark 1

Corollary 1 gives a positive answer to the conjecture (ii) posed by Chen in .

### Theorem 2

Let $$R(x)$$ be defined on $$( 0,\infty )$$ by (1.10). Then the function

$$x\mapsto F_{a} ( x ) =24 \bigl( x^{2}+a \bigr) R ( x ) -1$$

is strictly completely monotonic on $$( 0,\infty )$$ if and only if $$a\geq a_{1}=7/40$$.

### Proof

The necessity follows from

$$\lim_{x\rightarrow\infty}\frac{F_{a} ( x ) }{x^{-2}}=\lim _{x\rightarrow\infty}\frac{24 ( x^{2}+a ) ( \psi ( x+1/2 ) -\ln x ) -1}{x^{-2}}=a-\frac{7}{40}\geq0.$$

It follows from (2.2) and (2.4) that

\begin{aligned} F_{a} ( x ) =&24 \bigl( x^{2}+a \bigr) R ( x ) -1=24x^{2}R ( x ) +24aR ( x ) -1 \\ =&24 \biggl( \frac{1}{24}+\int_{0}^{\infty}e^{-xt}Q^{\prime\prime } ( t ) \,dt \biggr) +24a\int_{0}^{\infty}e^{-xt}Q ( t ) \,dt-1 \\ =&24\int_{0}^{\infty}e^{-xt} \bigl( Q^{\prime\prime} ( t ) +aQ ( t ) \bigr) \,dt. \end{aligned}

From Lemma 5 we clearly see that

$$Q^{\prime\prime} ( t ) +aQ ( t ) \geq Q^{\prime \prime } ( t ) +\frac{7}{40}Q ( t ) >0$$

for $$t>0$$ if $$a\geq7/40$$. □

Note that

\begin{aligned}& F_{7/40} \biggl( n+\frac{1}{2} \biggr) =24 \bigl( ( n+1/2 ) ^{2}+7/40 \bigr) R_{n}-1, \\& F_{7/40} ( 3/2 ) =\frac{286}{5}-\frac{291}{5}\ln \frac {3}{2}-\frac{291}{5}\gamma=0.00797\ldots,\qquad F_{7/40} ( \infty ) =0. \end{aligned}

Therefore, we have the following.

### Corollary 2

Let $$R_{n}$$ be defined by (1.3). Then the double inequality

$$\frac{1}{24 ( ( n+1/2 ) ^{2}+7/40 ) }< R_{n}-\gamma <\frac{1+\lambda_{1}}{24 ( ( n+1/2 ) ^{2}+7/40 ) }$$
(3.1)

holds for $$n\in\mathbb{N}$$ with the best possible constants $$\lambda _{1}=F_{7/40} ( 3/2 ) =0.00797\ldots$$ .

### Theorem 3

Let $$R(x)$$ be defined on $$( 0,\infty )$$ by (1.10). Then the function

$$x\mapsto f_{a} ( x ) =-24 \bigl( x^{4}+a \bigr) R ( x ) +x^{2}-\frac{7}{40}$$

is strictly completely monotonic on $$( 0,\infty )$$ if and only if $$a\leq a_{2}=-31/336$$.

### Proof

The necessity can be deduced by

$$\lim_{x\rightarrow\infty}\frac{f_{a} ( x ) }{x^{-2}}=\lim _{x\rightarrow\infty}\frac{-24 ( x^{4}+a ) ( \psi ( x+1/2 ) -\ln x ) +x^{2}-\frac{7}{40}}{x^{-2}}=-a-\frac {31}{336}\geq0.$$

It follows from (2.2), (2.4), and (2.6) that

\begin{aligned} f_{a} ( x ) =&-24x^{4}R ( x ) -24aR ( x ) +x^{2}-\frac{7}{40} \\ =&-24 \biggl( \frac{1}{24}x^{2}-\frac{7}{960}+\int _{0}^{\infty }e^{-xt}Q^{(4)} ( t ) \,dt \biggr) -24a\int_{0}^{\infty }e^{-xt}Q ( t ) \,dt+x^{2}-\frac{7}{40} \\ =&24\int_{0}^{\infty}e^{-xt} \bigl( -Q^{(4)} ( t ) -aQ ( t ) \bigr) \,dt. \end{aligned}

From Lemma 6 we clearly see that

$$-Q^{(4)} ( t ) -aQ ( t ) \geq-Q^{(4)} ( t ) + \frac{31}{336}Q ( t ) >0$$

if $$a\leq a_{2}=-31/336$$. □

Making use of the monotonicity of $$f_{a_{2}}$$ and the facts that

$$f_{a_{2}} \biggl( \frac{3}{2} \biggr) =\frac{835}{7}\gamma+ \frac {835}{7}\ln \frac{3}{2}-\frac{32\text{,} 819}{280}=0.009063\ldots, \qquad f_{a_{2}} ( \infty ) =0$$

we have the following.

### Corollary 3

Let $$R_{n}$$ be defined by (1.3). Then the double inequality

$$\frac{1}{24}\frac{ ( n+\frac{1}{2} ) ^{2}-\frac{7}{40}-\lambda _{2}}{ ( n+\frac{1}{2} ) ^{4}-\frac{31}{336}}< R_{n}-\gamma< \frac {1}{24}\frac{ ( n+\frac{1}{2} ) ^{2}-\frac{7}{40}}{ ( n+\frac {1}{2} ) ^{4}-\frac{31}{336}}$$
(3.2)

holds for $$n\in\mathbb{N}$$ with the best possible constant $$\lambda _{2}=f_{a_{2}} ( 3/2 ) =0.009063\ldots$$ .

### Remark 2

The upper bound for $$R_{n}-\gamma$$ given in (3.2) is better than that given in (1.5). Indeed, simple computations show that

\begin{aligned}& \frac{1}{24}\frac{ ( n+\frac{1}{2} ) ^{2}-\frac{7}{40}}{ ( n+\frac{1}{2} ) ^{4}-\frac{31}{336}}- \biggl( \frac{1}{24n^{2}}+ \frac {7}{960}\frac{1}{n^{4}} \biggr) \\& \quad = -\frac{6\text{,}720n^{5}+10\text{,} 752n^{4}+5\text{,}712n^{3}+1\text{,}564n^{2}+588n-35}{960n^{4} ( 168n^{4}+336n^{3}+252n^{2}+84n-5 ) }< 0 \end{aligned}

for all $$n\in\mathbb{N}$$.

### Theorem 4

Let $$R(x)$$ be defined on $$( 0,\infty )$$ by (1.10). Then the function

$$x\mapsto G_{a} ( x ) =24 \biggl( x^{4}+ax^{2}+ \frac{7}{40}a-\frac {31}{336} \biggr) R ( x ) - \biggl( x^{2}-\frac{7}{40}+a \biggr)$$
(3.3)

is strictly completely monotonic on $$( 0,\infty )$$ if and only if $$a\geq a_{3}=11\text{,}165/8\text{,}284$$.

### Proof

The necessity can be derived from

\begin{aligned} \lim_{x\rightarrow\infty}\frac{G_{a} ( x ) }{x^{-4}} =&\lim_{x\rightarrow\infty} \frac{24 ( x^{4}+ax^{2}+\frac{7}{40}a- \frac{31}{336} ) ( \psi ( x+1/2 ) -\ln x ) - ( x^{2}-\frac{7}{40}+a ) }{x^{-4}} \\ =&\frac{2\text{,}071}{33\text{,} 600} \biggl( a-\frac{11\text{,} 165}{8\text{,}284} \biggr) \geq0. \end{aligned}

It follows from (2.2), (2.4), and (2.6) that

\begin{aligned} G_{a} ( x ) =&24x^{4}R ( x ) +24ax^{2}R ( x ) +24 \biggl( \frac{7}{40}a-\frac{31}{336} \biggr) R ( x ) - \biggl( x^{2}-\frac{7}{40}+a \biggr) \\ =&24 \biggl( \frac{1}{24}x^{2}-\frac{7}{960}+\int _{0}^{\infty }e^{-xt}Q^{(4)} ( t ) \,dt \biggr) +24a \biggl( \frac{1}{24}+\int_{0}^{\infty}e^{-xt}Q^{\prime\prime} ( t ) \,dt \biggr) \\ &{}+24 \biggl( \frac{7}{40}a-\frac{31}{336} \biggr) \int _{0}^{\infty }e^{-xt}Q ( t ) \,dt- \biggl( x^{2}-\frac{7}{40}+a \biggr) \\ =&24\int_{0}^{\infty}e^{-xt} \biggl( Q^{(4)} ( t ) +aQ^{\prime \prime} ( t ) + \biggl( \frac{7}{40}a- \frac{31}{336} \biggr) Q ( t ) \biggr) \,dt \\ \triangleq&24\int_{0}^{\infty}e^{-xt}g_{a} ( t ) \,dt. \end{aligned}

From Lemmas 5 and 7 we clearly see that

\begin{aligned} g_{a} ( t ) =&Q^{(4)} ( t ) -\frac{31}{336}Q ( t ) +a \biggl( Q^{\prime\prime} ( t ) +\frac{7}{40}Q ( t ) \biggr) \\ \geq&Q^{(4)} ( t ) -\frac{31}{336}Q ( t ) +\frac{11\text{,} 165}{8\text{,}284} \biggl( Q^{\prime\prime} ( t ) +\frac{7}{40}Q ( t ) \biggr) \\ =&Q^{(4)} ( t ) +\frac{11 \text{,}165}{8\text{,}284}Q^{\prime\prime} ( t ) + \frac{199\text{,} 849}{1\text{,}391\text{,} 712}Q ( t ) >0 \end{aligned}

if $$a\geq a_{3}=11\text{,}165/8\text{,}284$$. □

The monotonicity of $$G_{a_{3}}$$ and the facts that

\begin{aligned}& G_{a_{3}} \biggl( \frac{3}{2} \biggr) =\frac{112 \text{,}672\text{,} 809}{579\text{,} 880}- \frac{11 \text{,}465\text{,} 761}{57 \text{,}988}\ln\frac{3}{2}-\frac{11\text{,} 465\text{,} 761}{57\text{,} 988}\gamma =0.001690 \ldots, \\& G_{a_{3}} ( \infty ) =0 \end{aligned}

### Corollary 4

Let $$R_{n}$$ be defined by (1.3). Then the double inequality

\begin{aligned}& \frac{1}{24}\frac{ ( n+\frac{1}{2} ) ^{2}+\frac{97 \text{,}153}{82\text{,} 840}}{ ( n+\frac{1}{2} ) ^{4}+\frac{11 \text{,}165}{8\text{,}284} ( n+\frac{1}{2} ) ^{2}+\frac{199\text{,} 849}{1\text{,}391\text{,} 712}} \\& \quad < R_{n}-\gamma<\frac{1}{24} \frac{ ( n+\frac{1}{2} ) ^{2}+\frac{97\text{,} 153}{82\text{,} 840}+\lambda_{3}}{ ( n+\frac{1}{2} ) ^{4}+\frac{11\text{,} 165}{8\text{,}284} ( n+\frac{1}{2} ) ^{2}+\frac{199 \text{,}849}{1\text{,}391\text{,} 712}} \end{aligned}
(3.4)

holds for all $$n\in\mathbb{N}$$ with the best possible constant $$\lambda _{3}=G_{a_{3}} ( 3/2 ) =0.001690\ldots$$ .

## Remarks

### Remark 3

The function $$G_{a}$$ defined by (3.3) can be rewritten as

$$G_{a} ( x ) =a\times f_{7/40} ( x ) -F_{-31/336} ( x ) =f_{7/40} ( x ) \times \biggl( a-\frac{F_{-31/336} ( x ) }{f_{7/40} ( x ) } \biggr) .$$
(4.1)

Theorem 4 leads to the conclusion that

$$\frac{F_{-31/336} ( x ) }{f_{7/40} ( x ) }\leq \lim_{x\rightarrow\infty}\frac{F_{-31/336} ( x ) }{f_{7/40} ( x ) }=\lim _{x\rightarrow\infty}\frac{-24 ( x^{4}-\frac {31}{336} ) R ( x ) +x^{2}-\frac{7}{40}}{24 ( x^{2}+\frac {7}{40} ) R ( x ) -1}\leq\frac{11\text{,} 165}{8\text{,}284}.$$
(4.2)

Moreover, we can prove that

$$\frac{F_{-31/336} ( x ) }{f_{7/40} ( x ) }\geq \lim_{x\rightarrow0^{+}}\frac{F_{-31/336} ( x ) }{f_{7/40} ( x ) }=\lim _{x\rightarrow0^{+}}\frac{-24 ( x^{4}-\frac{31}{336} ) R ( x ) +x^{2}-\frac{7}{40}}{24 ( x^{2}+\frac {7}{40} ) R ( x ) -1}\geq\frac{155}{294}.$$
(4.3)

It suffices to prove the function

$$x\mapsto V ( x ) =\psi ( x+1/2 ) -\ln x-\frac {1}{24}\frac{x^{2}+\frac{2\text{,}071}{5\text{,}880}}{x^{2} ( x^{2}+\frac{155}{294} ) }$$

is increasing on $$( 0,\infty )$$. Differentiation gives

$$V^{\prime} ( x ) =\psi^{\prime} ( x+1/2 ) -\frac {1}{x}+\frac{1\text{,}728\text{,} 720x^{4}+1\text{,}217 \text{,}748x^{2}+321\text{,} 005}{10x^{3} ( 294x^{2}+155 ) ^{2}}.$$

From $$\psi^{\prime} ( x+1 ) -\psi^{\prime} ( x ) =-1/x^{2}$$ we get

\begin{aligned}& V^{\prime} ( x+1 ) -V^{\prime} ( x ) \\& \quad = -\frac{1}{ ( x+1/2 ) ^{2}}- \frac{1}{x+1}+\frac{1\text{,}728\text{,} 720 ( x+1 ) ^{4}+1\text{,}217\text{,} 748 ( x+1 ) ^{2}+321 \text{,}005}{10 ( x+1 ) ^{3} ( 294 ( x+1 ) ^{2}+155 ) ^{2}} \\& \qquad {}+\frac{1}{x}-\frac{1\text{,}728\text{,} 720x^{4}+1\text{,}217 \text{,}748x^{2}+321\text{,} 005}{10x^{3} ( 294x^{2}+155 ) ^{2}} \\& \quad = -\frac{V_{1} ( x ) }{10x^{3} ( 2x+1 ) ^{2} ( 294x^{2}+155 ) ^{2} ( x+1 ) ^{3} ( 294x^{2}+588x+449 ) ^{2}}, \end{aligned}

where

\begin{aligned} V_{1} ( x ) =&1\text{,}718 \text{,}371 \text{,}882 \text{,}080x^{12}+10\text{,} 310\text{,} 231\text{,} 292 \text{,}480x^{11} \\ &{}+29\text{,} 399\text{,} 355 \text{,}669 \text{,}600x^{10}+52\text{,} 486\text{,} 324 \text{,}833\text{,} 600x^{9} \\ &{}+66 \text{,}690 \text{,}983 \text{,}696 \text{,}400x^{8}+65\text{,} 258 \text{,} 530\text{,} 001\text{,}280x^{7} \\ &{}+51\text{,} 909 \text{,}045 \text{,}513\text{,} 612x^{6}+34 \text{,} 352\text{,} 301 \text{,}620 \text{,}196x^{5} \\ &{}+18 \text{,}881 \text{,}999 \text{,}450\text{,}054x^{4}+8\text{,}378 \text{,}736\text{,} 976\text{,} 048x^{3} \\ &{}+2 \text{,}808\text{,} 871\text{,} 359\text{,} 013x^{2}+622 \text{,}502 \text{,} 847\text{,} 155x \\ &{}+64\text{,}714\text{,} 929\text{,} 005>0 \end{aligned}

for $$x>0$$. Therefore,

$$V^{\prime} ( x ) >V^{\prime} ( x+1 ) >V^{\prime } ( x+2 ) > \cdots>\lim_{n\rightarrow\infty}V^{\prime } ( x+n ) =0$$

for all $$x>0$$.

In addition, (4.1) implies that the necessary condition such that the function $$-G_{a}$$ is completely monotone on $$( 0,\infty )$$ is

$$a\leq\lim_{x\rightarrow0+}\frac{F_{-31/336} ( x ) }{f_{7/40} ( x ) }=\lim_{x\rightarrow0+} \frac{-24 ( x^{4}-\frac{31}{336} ) R ( x ) +x^{2}-\frac{7}{40}}{24 ( x^{2}+\frac{7}{40} ) R ( x ) -1}=\frac{155}{294}.$$

Motivated by inequalities (4.2) and (4.3) we propose two conjectures.

### Conjecture 1

Let $$R(x)$$ be defined on $$( 0,\infty )$$ by (1.10). Then we conjecture that

1. (i)

the function

$$x\mapsto\frac{-24 ( x^{4}-\frac{31}{336} ) R ( x ) +x^{2}-\frac{7}{40}}{24 ( x^{2}+\frac{7}{40} ) R ( x ) -1}$$

is increasing on $$( 0,\infty )$$;

2. (ii)

the function $$-G_{a}$$ is completely monotone on $$( 0,\infty )$$ if and only if $$a\leq155/294$$.

### Remark 4

The monotonicity of the function V proved in Remark 3 and the facts that

$$V \biggl( \frac{3}{2} \biggr) =\frac{866\text{,} 519}{881\text{,} 820}-\ln \frac {3}{2}-\gamma =-0.00003238\ldots,\qquad V ( \infty ) =0$$

lead to the conclusion that the double inequality

$$\frac{1}{24}\frac{ ( n+\frac{1}{2} ) ^{2}+\frac{2\text{,}071}{5\text{,}880}}{ ( n+\frac{1}{2} ) ^{2} ( ( n+\frac{1}{2} ) ^{2}+ \frac{155}{294} ) }+\lambda_{4}< R_{n}- \gamma<\frac{1}{24}\frac{ ( n+\frac{1}{2} ) ^{2}+\frac{2\text{,}071}{5\text{,}880}}{ ( n+\frac{1}{2} ) ^{2} ( ( n+\frac{1}{2} ) ^{2}+\frac {155}{294} ) }$$
(4.4)

holds with the best possible constant $$\lambda_{4}=-0.00003238\ldots$$ .

The upper bound for $$R_{n}-\gamma$$ in (4.4) is better than that in (3.2) because of

\begin{aligned}& \frac{1}{24}\frac{ ( n+\frac{1}{2} ) ^{2}+\frac{2\text{,}071}{5\text{,}880}}{ ( n+\frac{1}{2} ) ^{2} ( ( n+\frac{1}{2} ) ^{2}+ \frac{155}{294} ) }-\frac{1}{24}\frac{ ( n+\frac{1}{2} ) ^{2}-\frac{7}{40}}{ ( n+\frac{1}{2} ) ^{4}-\frac{31}{336}} \\& \quad =-\frac{64 \text{,}201}{120 ( 2n+1 ) ^{2} ( 588n^{2}+588n+457 ) ( 168n^{4}+336n^{3}+252n^{2}+84n-5 ) }< 0. \end{aligned}

### Remark 5

Let

\begin{aligned}& w_{n} = \sum_{k=1}^{n} \frac{1}{k}-\ln ( n+1/2 ) -\frac{1}{24} \frac{ ( n+\frac{1}{2} ) ^{2}-\frac{7}{40}}{ ( n+\frac {1}{2} ) ^{4}-\frac{31}{336}}, \\& y_{n} = \sum_{k=1}^{n} \frac{1}{k}-\ln ( n+1/2 ) -\frac{1}{24} \frac{ ( n+\frac{1}{2} ) ^{2}+\frac{97\text{,} 153}{82\text{,} 840}}{ ( n+\frac{1}{2} ) ^{4}+\frac{11\text{,} 165}{8\text{,}284} ( n+\frac{1}{2} ) ^{2}+\frac{199\text{,} 849}{1\text{,}391 \text{,}712}}, \\& z_{n} = \sum_{k=1}^{n} \frac{1}{k}-\ln ( n+1/2 ) -\frac{1}{24} \frac{ ( n+\frac{1}{2} ) ^{2}+\frac{2\text{,}071}{5\text{,}880}}{ ( n+\frac {1}{2} ) ^{2} ( ( n+\frac{1}{2} ) ^{2}+\frac {155}{294} )}. \end{aligned}

Then Theorems 3 and 4 together with Remark 4 lead to

$$w_{n}< z_{n}<\gamma<y_{n},$$

and simple computations show that

\begin{aligned}& \lim_{n\rightarrow\infty}n^{8} ( w_{n}-\gamma ) = - \frac {319}{92\text{,} 160}, \\& \lim_{n\rightarrow\infty}n^{10} ( y_{n}-\gamma ) = \frac{627 \text{,}404\text{,} 761}{246 \text{,}900\text{,} 842\text{,} 496}, \\& \lim_{n\rightarrow\infty}n^{8} ( z_{n}-\gamma ) = - \frac{199\text{,} 849}{94 \text{,}832\text{,} 640}. \end{aligned}

Lastly, inspired by Theorems 2-4, we propose an open problem as follows.

### Problem 1

We wonder what the sequences $$\{a_{k}\}$$ and $$\{b_{k}\}$$ are such that the function

$$x\mapsto R ( x ) \sum_{k=0}^{n+1}a_{k}x^{2k}- \sum_{k=0}^{n}b_{k}x^{2k}$$

is completely monotone on $$( 0,\infty )$$ and

$$\lim_{x\rightarrow\infty}\frac{R ( x ) \sum_{k=0}^{n+1}a_{k}x^{2k}-\sum_{k=0}^{n}b_{k}x^{2k}}{x^{-2n-4}}=c\neq 0,\pm\infty.$$

## References

1. Widder, DV: The Laplace Transform. Princeton University Press, Princeton (1941)

2. Rippon, PJ: Convergence with pictures. Am. Math. Mon. 93(6), 476-478 (1986)

3. Young, RM: Euler’s constant. Math. Gaz. 75(422), 187-190 (1991)

4. Tims, SR, Tyrrell, JA: Approximate evaluation of Euler’s constant. Math. Gaz. 55(371), 65-67 (1971)

5. Tóth, L: Problem E3432. Am. Math. Mon. 98(3), 264 (1991)

6. Tóth, L, High, R, Knuth, DE, Graham, RL, Patashnik, O: Problems and solutions: solutions: E3432. Am. Math. Mon. 99(7), 684-685 (1992)

7. DeTemple, DW: A quicker convergence to Euler’s constant. Am. Math. Mon. 100(5), 468-470 (1993)

8. Negoi, T: A faster convergence to the constant of Euler. Gaz. Mat., Ser. A 15, 111-113 (1997)

9. Vernescu, A: A new accelerate convergence to the constant of Euler. Gaz. Mat., Ser. A 17, 273-278 (1999)

10. Qi, F, Cui, R-Q, Chen, C-P, Guo, B-N: Some completely monotonic functions involving polygamma functions and an application. J. Math. Anal. Appl. 310(1), 303-308 (2005)

11. Sîntămărian, A: A generalization of Euler’s constant. Numer. Algorithms 46(2), 141-151 (2007)

12. Chen, C-P, Qi, F: The best bounds of the n-th harmonic number. Glob. J. Appl. Math. Math. Sci. 1(1), 41-49 (2008)

13. Sîntămărian, A: Some inequalities regarding a generalization of Euler’s constant. JIPAM. J. Inequal. Pure Appl. Math. 9(2), Article 46 (2008)

14. Villarino, MB: Ramanujan’s harmonic number expansion into negative powers of triangular number. JIPAM. J. Inequal. Pure Appl. Math. 9(3), Article 89 (2008)

15. Chen, C-P: Inequalities and monotonicity properties for some special functions. J. Math. Inequal. 3(1), 79-91 (2009)

16. Chen, C-P: The best bounds in Vernescu’s inequalities for the Euler’s constant. RGMIA Res. Rep. Collect. 12(3), Article ID 11 (2009). http://ajmaa.org/RGMIA/v12n3.php

17. Chen, C-P: Monotonicity properties of functions related to the psi function. Appl. Math. Comput. 217(7), 2905-2911 (2010)

18. Chen, C-P: Inequalities for the Euler-Mascheroni constant. Appl. Math. Lett. 23, 161-164 (2010)

19. Mortici, C: On new sequences converging towards the Euler-Mascheroni constant. Comput. Math. Appl. 59(8), 2610-2614 (2010)

20. Mortici, C: Improved convergence towards generalized Euler-Mascheroni constant. Appl. Math. Comput. 215(9), 3443-3448 (2010)

21. Mortici, C: Fast convergences towards Euler-Mascheroni constant. Comput. Appl. Math. 29(3), 479-491 (2010)

22. Guo, B-N, Qi, F: Sharp bounds for harmonic numbers. Appl. Math. Comput. 218(3), 991-995 (2011)

23. Chen, C-P: Sharpness of Negoi’s inequality for the Euler-Mascheroni constant. Bull. Math. Anal. Appl. 3(1), 134-141 (2011)

24. Mortici, C: A new Stirling series as continued fraction. Numer. Algorithms 56(1), 17-26 (2011)

25. Chen, C-P, Mortici, C: New sequence converging towards the Euler-Mascheroni constant. Comput. Math. Appl. 64(4), 391-398 (2012)

26. Gavrea, I, Ivan, M: A solution to an open problem on the Euler-Mascheroni constant. Appl. Math. Comput. 224, 54-57 (2013)

27. Lu, D: Some new convergent sequences and inequalities of Euler’s constant. J. Math. Anal. Appl. 419(1), 541-552 (2014)

28. Mortici, C: New bounds for a convergence by DeTemple. J. Sci. Arts 13(2), 239-242 (2010)

29. Batir, N: Inequalities for the gamma function. Arch. Math. 91(6), 554-563 (2008)

30. Qi, F, Guo, B-N: Sharp inequalities for the psi function and harmonic numbers (2009). arXiv:0902.2524 [math. CA]

31. Guo, B-N, Qi, F: Sharp inequalities for the psi function and harmonic numbers. Analysis 34(2), 201-208 (2014)

32. Karatsuba, EA: On the computation of the Euler constant γ. Numer. Algorithms 24(1-2), 83-97 (2000)

33. Anderson, GD, Vamanamurthy, MK, Vuorinen, M: Topics in special functions. In: Papers on Analysis. Rep. Univ. Jyväskylä Dep. Math. Stat., vol. 83, pp. 5-26. Univ. Jyväskylä, Jyväskylä (2001)

34. Abramowitz, M, Stegun, IA: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. U.S. Government Printing Office, Washington (1964)

35. Yang, Z-H, Chu, Y-M, Tao, X-J: A double inequality for the trigamma function and its applications. Abstr. Appl. Anal. 2014, Article ID 702718 (2014)

36. Yang, Z-H, Chu, Y-M: A note on Jordan, Adamović-Mitrinović, and Cusa inequalities. Abstr. Appl. Anal. 2014, Article ID 364076 (2014)

## Acknowledgements

This research was supported by the Natural Science Foundation of China under Grants 11401191 and 61374086, and the Natural Science Foundation of Zhejiang Province under Grant LY13A010004.

## Author information

Authors

### Corresponding author

Correspondence to Yu-Ming Chu.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

## Rights and permissions 