alaoglu and erdős discovered that all superabundant numbers are also highly abundant. there are, however, an infinite number of highly abundant numbers that are not superabundant numbers. this was proven by jean-louis nicolas in 1969.