The Apéry-sequence consecutive negativity conjecture

Let AnA_n and BnB_n be the Apéry numbers, let en=2(lcm{1,2,,n})3e_n=2\cdot(\operatorname{lcm}\{1,2,\ldots,n\})^3, and set

xn=enAn,yn=enBn.x_n=e_nA_n,\qquad y_n=e_nB_n.

Let Δ\Delta be the forward difference operator, Δxn=xn+1xn\Delta x_n=x_{n+1}-x_n, and define

δn=Δ(ΔynΔxn).\delta_n=\Delta\left(\frac{\Delta y_n}{\Delta x_n}\right).

Apéry-sequence consecutive negativity conjecture. For every integer N2N\geq2, there is a positive integer nn such that

δn,δn+1,δn+2,,δn+N<0.\delta_n,\delta_{n+1},\delta_{n+2},\ldots,\delta_{n+N}<0.

This is presented as a stronger numerical conjecture than the existence of an unbounded subsequence with negative δn\delta_n. The source gives no resolution.

Sources & referencesView supporting material

Primary source

Angelo B. Mingarelli, “Some conjectures in elementary number theory”, arXiv:1302.5299 (2013).

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.