The fact that, for each prime p, only *one* of the fractions has a denominator divisible by p is indeed the key here.

A slightly more sophisticated argument shows that for n > 1, the "harmonic numbers"

all have denominators divisible by 2 - and, in fact, the power of 2 dividing the denominator never goes down, and increases every time n is a power of 2.

The sum of fractions with a common factor in the denominator can be a fraction without that factor in the denominator, e.g. 1/3 + 1/6 = 1/2. In fact, the common factor can show up in the

*numerator* of the sum! We have the following well known result:

If p > 3 is prime, then H

_{p-1} has a numerator divisible by p

^{2} ["Wolstenholme's Theorem"].

It follows that if p > 3 is prime, then 1/p + 1/(2*p) + ... + 1/((p-1)*p) has a numerator divisible by p.