This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A223886 #18 Dec 25 2023 18:00:13 %S A223886 871695,106388178385,23847838715080655,2591856748839247419391825095, %T A223886 1049841259371423735816549330164685, %U A223886 216822871259048720341882553570648156557191421 %N A223886 Numbers (binomial(j*k*prime(n), j*prime(n)) - binomial(k*j, j))/(k*prime(n)^3) for k=4, j=3 and n>=2. %C A223886 This sequence (together with already present in the OEIS A034602 and A217772) is based on Gary Detlefs' conjecture, which he disclosed to me in a private communication on 3/29/13 and recently he gave me permission to make it public. Specifically he wrote to me the following: "I have a conjecture which is broader than the one I submitted, having to do with binomial(k*n,n) mod n^3. It appears that binomial(j*k*n,j*n) mod n^3 will be binomial(k*j,j) for n sufficiently large." %C A223886 In effect above conjecture further extends Wolstenholme's and Ljunggren's ideas and could also be expressed as follows: starting with some specific (for any given unchanged values of integers k>0 and j>0) sufficiently large value of n=N and further on for n>N it is true that (binomial(j*k*prime(n), j*prime(n)) - binomial(k*j, j))/k/(prime(n))^3 = m(j, k, n ), where m(j, k, n ) are integer values. %C A223886 Note that the values of A034602 are replicated by above general formula for k=2, j=1 and n>=3 and the values of A217772 are replicated by the same formula for k=3, j=1 and n>=2. %H A223886 R. Mestrovic, <a href="http://arxiv.org/abs/1111.3057">Wolstenholme's theorem: Its Generalizations and Extensions in the last hundred and fifty years (1862-2011)</a>, arXiv preprint arXiv:1111.3057 [math.NT], 2011. %Y A223886 Cf. A034602, A217772. %K A223886 nonn %O A223886 2,1 %A A223886 _Alexander R. Povolotsky_, Mar 28 2013