In 1913, Dickson [2] proved that for each fixed natural number k, there are only finitely many odd perfect numbers N with ω(N ) ≤ k. (Here and below, we write
ω(N ) for the number of distinct prime factors of the natural number N .) The first explicit bounds were given by Pomerance [7], who showed that any such N satisfies