nx+1}{ncx+n}}.\label{eq:15}$$

In particular, for $c=0$ and $n=1$, $$\log{x} \leq \sum _{k=0}^\infty e^{-x}\frac{x^k}{k!}\log{(k+1)}\leq \log{(x+1)}.$$

**Proof** We have seen that $H'_{n,c}(x)\geq 0$. An application of yields $$H'_{n,c}(x) = n \left ( \log{\frac{1+cx}{x}} + \sum _{k=0}^\infty p_{n+c,k}^{[c]}(x)\log{\frac{k+1}{n+ck}} \right ).$$

This proves the first inequality in ; the second is a consequence of Jensen’s inequality applied to the concave function $\log{t}$.

Rényi entropy and Tsallis entropy
=================================

The following conjecture was formulated in [@13]:

\[conj:3.1\] $S_{n,-1}$ is convex on $[0,1]$.

Th. Neuschel [@11] proved that $S_{n,-1}$ is decreasing on $\left [ 0, \frac{1}{2}\right ]$ and increasing on $\left [ \frac{1}{2}, 1\right ]$. The conjecture and the result of Neuschel can be found also in [@5].

A proof of the conjecture was given by G. Nikolov [@12], who related it with some new inequalities involving Legendre polynomials. Another proof can be found in [@4].

Using the important results of Elena Berdysheva [@3], the following extension was obtained in [@17]:

\[th:3.2\] ([@17 Theorem 9]). For $c<0$, $S_{n,c}$ is convex on $\left [ 0, -\frac{1}{c}\right ]$.

A stronger conjecture was formulated in [@14] and [@17]:

\[conj:3.3\] For $c\in \mathbb{R}$, $S_{n,c}$ is logarithmically convex, i.e., $\log S_{n,c}$ is convex.

It was validated for $c\geq 0$ by U. Abel,
nx+1}{ncx+n}}.\label{eq:15}$$ 

 In particular, for $ c=0 $ and $ n=1 $, $ $ \log{x } \leq \sum _ { k=0}^\infty e^{-x}\frac{x^k}{k!}\log{(k+1)}\leq \log{(x+1)}.$$ 

 * * Proof * * We have seen that $ H'_{n, c}(x)\geq 0$. An application of yield $ $ H'_{n, c}(x) = n \left (\log{\frac{1+cx}{x } } + \sum _ { k=0}^\infty p_{n+c, k}^{[c]}(x)\log{\frac{k+1}{n+ck } } \right) .$$ 

 This prove the first inequality in  ; the second is a consequence of Jensen ’s inequality apply to the concave routine $ \log{t}$. 

 Rényi entropy and Tsallis entropy 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 The surveil conjecture was formulated in   [ @13 ]: 

 \[conj:3.1\ ] $ S_{n,-1}$ is convex on $ [ 0,1]$. 

 Th. Neuschel   [ @11 ] prove that $ S_{n,-1}$ is decreasing on $ \left [ 0, \frac{1}{2}\right ] $ and increasing on $ \left [ \frac{1}{2 }, 1\right ] $. The guess and the result of Neuschel can be found besides in   [ @5 ]. 

 A proof of the conjecture was given by G. Nikolov   [ @12 ], who related it with some new inequalities involving Legendre polynomial. Another proof can be found in   [ @4 ]. 

 Using the crucial results of Elena Berdysheva   [ @3 ], the following propagation was obtained in   [ @17 ]: 

 \[th:3.2\ ] ([ @17 Theorem 9 ]). For $ c<0 $, $ S_{n, c}$ is convex on $ \left [ 0, -\frac{1}{c}\right ] $. 

 A strong conjecture was formulated in   [ @14 ] and   [ @17 ]: 

 \[conj:3.3\ ] For $ c\in \mathbb{R}$, $ S_{n, c}$ is logarithmically convex, i.e., $ \log S_{n, c}$ is convex. 

 It was validated for $ c\geq 0 $ by U. Abel,
nx+1}{nfx+n}}.\label{eq:15}$$

In particular, nor $c=0$ and $n=1$, $$\log{x} \leq \suk _{k=0}^\inffy e^{-x}\fraz{x^k}{k!}\log{(k+1)}\leq \log{(x+1)}.$$

**Proof** We havx sewn thqt $H'_{n,c}(x)\geq 0$. An applicagion of ypelds $$H'_{n,c}(z) = n \oeft ( \log{\fczc{1+cx}{x}} + \sum _{k=0}^\ihnty p_{u+c,j}^{[c]}(x)\log{\frac{k+1}{n+ck}} \right ).$$

Thiv proves the fhrrt inequality in ; the second is a consqquence ov Jensen’s ineqoalitj wppljvd to the concave function $\log{t}$.

Dényi enuropy and Tsallis rntropy
=================================

The following conjefturf was formulated ij [@13]:

\[conj:3.1\] $S_{n,-1}$ is condwx on $[0,1]$.

Th. Neurchel [@11] provtd that $S_{n,-1}$ ia decreasing on $\left [ 0, \frac{1}{2}\righg ]$ anb increasint in $\pgft [ \frac{1}{2}, 1\rijht ]$. Tre conjecturc and tve resukt of Neuschel cai be found also in [@5].

A proof of the conjecture was givet yy G. Nikolov [@12], who relaree it fith somd ned iheauzlitied iivolving Lefendre polybomials. Another propf bsn be found jn [@4].

Usind ehe important results of Elena Berdyshena [@3], tge following extension qas obtained in [@17]:

\[th:3.2\] ([@17 Thgorem 9]). For $c<0$, $S_{n,c}$ is convex on $\left [ 0, -\frac{1}{c}\right ]$.

A stronger wonjertjre wwr flrmulated in [@14] and [@17]:

\[conj:3.3\] For $c\in \mathbb{R}$, $S_{n,c}$ is ljfatinhmically convex, l.e., $\log S_{n,c}$ is convrx.

Lt ras validated for $c\ysq 0$ by U. Abel,
nx+1}{ncx+n}}.\label{eq:15}$$ In particular, for $c=0$ and $n=1$, \sum e^{-x}\frac{x^k}{k!}\log{(k+1)}\leq \log{(x+1)}.$$ We have seen of $$H'_{n,c}(x) = n ( \log{\frac{1+cx}{x}} + _{k=0}^\infty p_{n+c,k}^{[c]}(x)\log{\frac{k+1}{n+ck}} \right ).$$ This proves first inequality in ; the second is a consequence of Jensen’s inequality applied the concave function $\log{t}$. Rényi entropy and Tsallis entropy ================================= The following conjecture formulated [@13]: $S_{n,-1}$ convex on $[0,1]$. Th. Neuschel [@11] proved that $S_{n,-1}$ is decreasing on $\left [ 0, \frac{1}{2}\right and increasing on $\left [ \frac{1}{2}, 1\right ]$. conjecture and the result Neuschel can be found also [@5]. proof of conjecture given G. Nikolov [@12], related it with some new inequalities involving Legendre polynomials. Another proof can be found in [@4]. Using important results Berdysheva [@3], following was in [@17]: \[th:3.2\] 9]). For $c<0$, $S_{n,c}$ is convex 0, -\frac{1}{c}\right ]$. A stronger conjecture was formulated [@14] and \[conj:3.3\] For $c\in \mathbb{R}$, $S_{n,c}$ is convex, i.e., $\log S_{n,c}$ is convex. It was for $c\geq 0$ by U. Abel,
nx+1}{ncx+n}}.\label{eq:15}$$

In particular, For $c=0$ and $n=1$, $$\loG{x} \leq \Sum _{K=0}^\inFtY e^{-x}\fRac{x^K}{k!}\log{(k+1)}\leq \log{(x+1)}.$$

**PROof** WE have seen that $H'_{n,c}(x)\geq 0$. An AppliCaTIon oF YiElds $$H'_{N,c}(x) = n \lefT ( \LoG{\FRac{1+Cx}{X}} + \sUm _{k=0}^\InFTy P_{n+c,k}^{[c]}(X)\loG{\frac{k+1}{n+Ck}} \right ).$$

ThiS prOvEs the first inEQuAlity in ; the SecOnd is a conseqUenCe of JeNsEn’s INequaLitY applIed to tHE concaVe functioN $\lOG{t}$.

RényI Entropy AND TSallIs entropy
=================================

The folloWInG Conjecture was fOrmulaTeD In [@13]:

\[CONj:3.1\] $S_{N,-1}$ is Convex on $[0,1]$.

Th. neUscheL [@11] Proved tHAt $s_{N,-1}$ IS deCReasing on $\left [ 0, \Frac{1}{2}\right ]$ anD IncReasinG oN $\leFT [ \frac{1}{2}, 1\rIght ]$. THe COnjEcture and thE resUlt of NeusChel caN Be found ALso in [@5].

A pRoof of The ConJectURe WaS giVeN By G. nIkOloV [@12], Who Related iT wItH some New iNEQUAlitIes InvoLving legendre polynOmiAls. ANOthEr proOf can Be foUnD in [@4].

UsIng the ImporTaNt results of ElenA BerDysheva [@3], thE foLlOwiNg ExtenSIon was ObtAinEd in [@17]:

\[th:3.2\] ([@17 THeorem 9]). FOR $c<0$, $S_{N,c}$ IS COnVex on $\left [ 0, -\frac{1}{c}\righT ]$.

A STRoNger conjEcture WAs FoRMulated iN [@14] aNd [@17]:

\[cOnj:3.3\] FOR $C\in \maThbb{r}$, $s_{n,C}$ is logarIthmicALlY cOnvex, i.e., $\LoG S_{n,c}$ is CoNveX.

It Was vaLIdatEd for $c\Geq 0$ by U. AbEl,
nx+1}{ncx+n}}.\label{eq:15 }$$

In pa rticu lar , f or  $c= 0$ a nd $n=1$, $$\l o g{x}  \leq \sum _{k=0}^\inf ty e^ {- x }\fr a c{ x^k}{ k!}\log { (k + 1 )}\ le q\lo g{ ( x+ 1)}.$ $
**Proof ** We have  se en  that $H'_{n , c} (x)\geq 0$ . A n applicatio n o f yiel ds  $$ H '_{n, c}( x) =n \lef t  ( \lo g{\frac{1 +c x }{x}}+  \sum _ { k =0 }^\i nfty p_{n+c,k}^{[ c ]} ( x)\log{\frac{k +1}{n+ ck } }\ r igh t ) .$$

Thispr ovest he firs t  i n e q ual i ty in ; the s econd is ac ons equenc eofJ ensen’ s ine qu a lit y applied t o th e concave  funct i on $\lo g {t}$.
Rényient rop y an d  T sa lli se ntr o py 
== = === ======== == == ===== ==== = = = = ==
The  fol lowin g conjecturewas  for m ula ted i n [@1 3]:
\ [conj :3.1\]  $S_{ n, -1}$ is convexon $ [0,1]$.
Th.  N eus ch el [@ 1 1] pro ved  th at $S_{ n,-1}$i s d ec r e a si ng on $\left [ 0,\f r a c{ 1}{2}\ri ght ]$ an di ncreasin gon$\le f t  [ \f rac{ 1 }{ 2}, 1\ri ght ]$ .  T he  conjec tu re and  t heres ult o f  Neu schelcan be f ounda lso in [@5].
A  proof of the co n j ec t urewas  given by G . Ni k olov  [@1 2 ],  wh o  rela ted i tw it h  some new inequalit ie s invo lving  Legendre pol ynomials.A n o ther pro of c a nb e found in [@4 ].

U sing the i m portantresul ts of El ena Berdy s h eva [@3] , t hefol low i n gextension was o btai ne d in [@ 17] :

\[th :3. 2\]  ([ @17  T heorem 9] ). For $ c< 0$ ,$S _{n ,c}$i s convex  o n $ \l eft  [ 0, -\frac {1}{c }\ri gh t] $.
A stro n ge r conj ec tu re w asfo rmula tedi n [ @14] an d [@17]:
\[ c onj: 3. 3\ ] For $ c\in \mathbb{ R} $, $S_{n,c }$  is  logar i t hmically  convex, i.e., $\log S_ { n,c}$ i s c onvex .

I t was val ida ted fo r $ c \geq 0 $ by U . Abe l, 
nx+1}{ncx+n}}.\label{eq:15}$$

In particular,_for $c=0$_and $n=1$, $$\log{x} \leq_\sum _{k=0}^\infty_e^{-x}\frac{x^k}{k!}\log{(k+1)}\leq_\log{(x+1)}.$$

**Proof** We_have_seen that $H'_{n,c}(x)\geq_0$. An application_of yields $$H'_{n,c}(x) =_n \left (_\log{\frac{1+cx}{x}}_+ \sum _{k=0}^\infty p_{n+c,k}^{[c]}(x)\log{\frac{k+1}{n+ck}} \right ).$$

This proves the first inequality in ; the second is_a_consequence of_Jensen’s_inequality_applied to the concave function_$\log{t}$.

Rényi entropy and Tsallis entropy
=================================

The_following conjecture_was formulated in [@13]:

\[conj:3.1\] $S_{n,-1}$ is convex on $[0,1]$.

Th._Neuschel [@11]_proved that $S_{n,-1}$_is decreasing on $\left [ 0, \frac{1}{2}\right ]$ and_increasing on $\left [ \frac{1}{2}, 1\right_]$. The conjecture_and_the_result of Neuschel can_be found also in [@5].

A proof of_the conjecture was given by G._Nikolov [@12], who related it with some new_inequalities involving Legendre polynomials. Another proof_can be found in [@4].

Using the_important results_of Elena Berdysheva [@3], the following_extension was obtained_in [@17]:

\[th:3.2\] ([@17_Theorem 9]). For_$c<0$, $S_{n,c}$ is convex on $\left_[ 0, -\frac{1}{c}\right_]$.

A stronger conjecture was formulated in [@14]_and [@17]:

\[conj:3.3\]_For $c\in \mathbb{R}$,_$S_{n,c}$_is_logarithmically convex,_i.e., $\log S_{n,c}$_is_convex.

It was_validated_for $c\geq 0$ by U. Abel,