|
|
A128673
|
|
Numbers m such that m^k does not divide the denominator of the m-th generalized harmonic number H(m,k) nor the denominator of the m-th alternating generalized harmonic number H'(m,k), for k = 3.
|
|
7
|
|
|
|
OFFSET
|
1,1
|
|
COMMENTS
|
Generalized harmonic numbers are defined as H(m,k) = Sum_{j=1..m} 1/j^k. Alternating generalized harmonic numbers are defined as H'(m,k) = Sum_{j=1..m} (-1)^(j+1)/j^k.
Note that {a(n)} contains the following geometric progressions: ((16843-1)/3)*16843^m found by Max Alekseyev, ((16843-1)/2)*16843^m found by Max Alekseyev, ((16843-1)*2/3)*16843^m, (16843-1)*16843^m, 20826*21647^m found by Max Alekseyev, ((2124679-1)/3)*2124679^m, ((2124679-1)/2)*2124679^m, ((2124679-1)*2/3)*2124679^m, (2124679-1)*2124679^m. Here {16843, 2124679} = A088164 are the only two currently known Wolstenholme Primes: primes p such that {2p-1} choose {p-1} == 1 mod p^4. See more details in Comments at A128672 and A125581.
|
|
LINKS
|
|
|
MATHEMATICA
|
k=3; f=0; g=0; Do[ f=f+1/n^k; g=g+(-1)^(n+1)*1/n^k; kf=Denominator[f]; kg=Denominator[g]; If[ !IntegerQ[kf/n^k] && !IntegerQ[kg/n^k], Print[n] ], {n, 1, 450820422} ]
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,hard,more
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|