A highly-composite number (HCN) is a positive integer with more divisors than any smaller positive integer.

Let $n$ be an arbitrary HCN. It can easily be proven that the next HCN is at most $2n$ (which has more divisors than $n$). If there do not exist any other HCNs between $n$ and $2n$, then I will call $n$ a peak composite number.

Based on this list of the first 1200 HCNs, the first 7 peak composite numbers are 1, 2, 6, 12, 60, 360, and 2520. But there are no others less than $10^{88}$. This seems to suggest that 2520 is the largest peak composite number, but there may be a very large counterexample.

How can the (non)existence of such a counterexample be proven?


Let $n=2^b3^cm$ be an integer divisible by $6$ (where $\gcd(m,6)=1$). If $b>c+1$, then $3n/2$ is an integer with more divisors than $n$; if $b<2c-2$, then $4n/3$ is an integer with more divisors than $n$.

In particular, if $n$ is divisible by $2\cdot 3^4$, then there is always an integer strictly less than $2n$ that has more divisors than $n$ (since when $c\ge4$ it is always the case that either $b>c+1$ or $b<2c-2$).

Therefore the nonexistence of other counterexamples follows if all HCNs larger than the last one on your list are divisible by $2\cdot 3^4$. This is probably easy to show.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.