OFFSET
1,1
COMMENTS
The Apéry numbers A(n) = A005259(n) satisfy the supercongruences A(p) == 5 (mod p^3) and A(p-1) == 1 (mod p^3) for all primes p >= 5 (see, for example, Straub, Introduction). It follows that a(p) == 3125 (mod p^3) for all primes p >= 5. We conjecture that, in fact, the stronger congruence a(p) == 3125 (mod p^5) holds for all primes p >= 3 (checked up to p = 251). Compare with the congruence A(p) + 7*A(p-1) == 12 (mod p^5) conjectured to hold for all primes p >= 5. See A212334.
Conjecture: a(p^r) == a(p^(r-1)) ( mod p^(3*r+3) ) for r >= 2 and all primes p >= 5. - Peter Bala, Oct 26 2022
LINKS
A. Straub, Multivariate Apéry numbers and supercongruences of rational functions, arXiv:1401.0854 [math.NT] (2014).
MAPLE
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Peter Bala, Oct 01 2022
STATUS
approved