A242223 Least prime p such that H(n) == 0 (mod p) but H(k) == 0 (mod p) for no 0 < k < n, or 1 if such a prime p does not exist, where H(n) denotes the n-th harmonic number sum_{k=1..n}1/k.

1, 3, 11, 5, 137, 7, 1, 761, 7129, 61, 97, 13, 29, 1049, 41233, 17, 37, 19, 7440427, 11167027, 18858053, 23, 583859, 577, 109, 34395742267, 521, 375035183, 4990290163, 31, 2667653736673, 2917, 269, 3583, 397, 1297, 10839223, 199, 737281, 41

Offset

1,2

Comments

Conjecture: a(n) is prime except for n = 1, 7.

Links

Zhi-Wei Sun, Table of n, a(n) for n = 1..184

Z.-W. Sun, New observations on primitive roots modulo primes, arXiv preprint arXiv:1405.0290 [math.NT], 2014.

Example

a(4) = 5 since H(4) = 25/12 == 0 (mod 5), but none of H(1) = 1, H(2) = 3/2 and H(3) = 11/6 is congruent to 0 modulo 5.

Mathematica

h[n_]:=Numerator[HarmonicNumber[n]]
f[n_]:=FactorInteger[h[n]]
p[n_]:=Table[Part[Part[f[n], k], 1], {k, 1, Length[f[n]]}]
Do[If[h[n]<2, Goto[cc]]; Do[Do[If[Mod[h[i], Part[p[n], k]]==0, Goto[aa]], {i, 1, n-1}]; Print[n, " ", Part[p[n], k]]; Goto[bb]; Label[aa]; Continue, {k, 1, Length[p[n]]}]; Label[cc]; Print[n, " ", 1]; Label[bb]; Continue, {n, 1, 40}]

Crossrefs

Cf. A000040, A001008, A002805, A242169, A242170, A242171, A242173, A242174, A242193, A242194, A242195, A242207, A242222.

Sequence in context: A212402 A114234 A352005 * A308969 A308970 A308971

Adjacent sequences: A242220 A242221 A242222 * A242224 A242225 A242226

Keyword

nonn

Author

Zhi-Wei Sun, May 08 2014

Status

approved