harmonic divisor number — positive integer whose divisors have a harmonic mean that is an integer