A357956 a(n) = 5*A005259(n) - 2*A005258(n).

3, 19, 327, 6931, 162503, 4072519, 107094207, 2919528211, 81819974343, 2343260407519, 68285241342827, 2018360803903111, 60366625228511423, 1823565812734012639, 55557838850469305327, 1705172303553678726931, 52672608711829111519943, 1636296668756812403477839, 51088496012515356589705107

Offset

0,1

Comments

Conjectures:

1) a(p - 1) == 3 (mod p^5) for all primes p >= 5.

2) a(p^r - 1) == a(p^(r-1) - 1) ( mod p^(3*r+3) ) for r >= 2 and for all primes p >= 5.

These are stronger supercongruences than those satisfied separately by the two types of Apéry numbers A005258 and A005259. Cf. A357567.

Links

Table of n, a(n) for n=0..18.

Peter Bala, Some conjectural supercongruences for the Apéry numbers.

Formula

a(n) = 5*Sum_{k = 0..n} binomial(n,k)^2*binomial(n+k,k)^2 - 2*Sum_{k = 0..n} binomial(n,k)^2*binomial(n+k,k).

a(n*p^r - 1) == a(n*p^(r-1) - 1) ( mod p^(3*r) ) for positive integers n and r and for all primes p >= 5.

a(n) = 5*hypergeom([-n, -n, 1 + n, 1 + n], [1, 1, 1], 1) - 2*hypergeom([1 + n, -n, -n], [1, 1], 1). - Peter Luschny, Nov 01 2022

Maple

seq(add(5*binomial(n, k)^2*binomial(n+k, k)^2 - 2*binomial(n, k)^2* binomial(n+k, k), k = 0..n), n = 0..20);
# Alternatively:
a := n -> 5*hypergeom([-n, -n, 1 + n, 1 + n], [1, 1, 1], 1) - 2*hypergeom([1 + n, -n, -n], [1, 1], 1): seq(simplify(a(n)), n = 0..18); # Peter Luschny, Nov 01 2022

Crossrefs

Cf. A005258, A005259, A212334, A352655, A357567, A357568, A357569, A357957, A357958, A357959, A357960.

Sequence in context: A326902 A346840 A132876 * A229832 A219270 A071381

Adjacent sequences: A357953 A357954 A357955 * A357957 A357958 A357959

Keyword

nonn,easy

Author

Peter Bala, Oct 24 2022

Status

approved