The alternating Turán-type inequality for normalized Euler numbers

From papers

Let EnE_n denote the Euler numbers and define the normalized Euler numbers by

E~n=Enn!.\widetilde{E}_n=\frac{E_n}{n!}.

Alternating Turán-type inequality. For all n0n\geq 0 and j,k1j,k\geq 1, one has

(1)n1[E~nE~n+j+kE~n+jE~n+k]>0.(-1)^{n-1}\left[\widetilde{E}_n\widetilde{E}_{n+j+k}-\widetilde{E}_{n+j}\widetilde{E}_{n+k}\right]>0.

This inequality would simultaneously imply the contrasting strict log-concavity and strict log-convexity phenomena for the even and odd subsequences discussed in the paper. The supplied text presents it as appearing to be true, but gives no resolution, so its status is open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Alan D. Sokal, “The Euler and Springer numbers as moment sequences”, arXiv:1804.04498 (2018).

Solutions 0

No solutions have been posted yet.