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 A125854 #22 May 10 2019 16:06:46 %S A125854 3,29,37,3373,2001907169 %N A125854 Primes p with the property that p divides the Wolstenholme number A001008((p+1)/2). %C A125854 Note that if prime p>3 divides A001008((p+1)/2) then it also divides A001008((p-3)/2). %C A125854 Note that for a prime p, H([p/2]) == 2*(2^(-p(p-1)) - 1)/p^2 (mod p). Therefore a prime p divides the Wolstenholme number A001008((p+1)/2) if and only if 2^(-p(p-1)) == 1 - p^2 (mod p^3) or, equivalently, 2^(p-1) == 1 + p (mod p^2). %C A125854 Disjunctive union of the sequences A154998 and A121999 that contain primes congruent respectively to 1,3 and 5,7 modulo 8. (Alekseyev) %C A125854 a(6) > 5.5*10^12. - _Giovanni Resta_, Apr 13 2017 %C A125854 Primes p that are base-((p-1)/2) Wieferich primes, that is, primes p such that ((p-1)/2)^(p-1) == 1 (mod p^2). - _Jianing Song_, Jan 27 2019 %e A125854 a(1) = 3 because prime 3 divides A001008(2) = 3 and there is no p < 3 that divides A001008((p+1)/2). %e A125854 a(2) = 29 because 29 divides A001008(15) = 1195757 and there is no prime p (3 < p < 29) that divides A001008((p+1)/2). %t A125854 Select[Prime[Range[1, 5000]], %t A125854 Divisible[Numerator[HarmonicNumber[(# + 1)/2]], #] &] (* _Robert Price_, May 10 2019 *) %Y A125854 Cf. A001008, A121999, A014566, A154998. %K A125854 hard,more,nonn %O A125854 1,1 %A A125854 _Alexander Adamchuk_, Dec 11 2006 %E A125854 Entry revised and a(5) = 2001907169 provided by _Max Alekseyev_, Jan 18 2009 %E A125854 Edited by _Max Alekseyev_, Oct 13 2009