Hostname: page-component-7b7567c8c-7pwfn Total loading time: 0 Render date: 2026-11-13T03:12:54.506Z Has data issue: false hasContentIssue false

Expressing harmonic sums as fractions

Published online by Cambridge University Press:  15 June 2017

G. J. O. Jameson*
Affiliation:
Dept. of Mathematics and Statistics, Lancaster University, Lancaster LA1 4YF e-mail: g.jameson@lancaster.ac.uk

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

As usual, write

In [1], it is shown, by an elegant method, that for all n ⩾ 2, Hn is not an integer. The method can be traced back at least to [2, Exercise 251, p. 159]. Actually, rather more is shown: if Hn is expressed as a fraction an /bn in its lowest terms, then for all n ⩾ 2, bn is even. One way of looking at this is to say that once the term has entered the sum, the factor 2 persists in the denominator from then on. This suggests the following question:

(Q1) for primes p ⩾ 3, is bn a multiple of p for all n ⩾ p?

and more generally:

(Q2) for any prime p, is bn a multiple of pm for all n ⩾ pm ?

In other words, once 1/pm has entered the sum, does the factor pm persist in the denominator?

Let dn denote the lowest common multiple of 1, 2, … , n. This number can be described as follows: for each prime p ⩽ n, let mp be the largest integer m such that pm ⩽ n. Then . Hence a positive answer to (Q2) would imply thatbn simply equals dn .

Information

Type
Articles
Copyright
Copyright © Mathematical Association 2017