The Apéry-sequence Brun criterion 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 Brun criterion conjecture. There is an unbounded subsequence of positive integers nkn_k\to\infty such that δnk<0\delta_{n_k}<0. The sequence yn/xny_n/x_n is increasing and converges to ζ(3)\zeta(3); hence, if the conjecture holds, Brun's criterion would imply that ζ(3)\zeta(3) is irrational. The source supplies no proof or 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.