# Category:Definitions/Ore Numbers

Let $n \in \Z_{>0}$ be a positive integer.
$n$ is an Ore number if and only if the harmonic mean of its divisors is an integer.