A número altamente compuesto es un número natural $n\ge 1$ , de tal manera que $t(m)<t(n)$ para todos $m$ con $1\le m<n$ , donde $t(n)$ es el número de divisores de $n$ .
El enlace muestra que la factorización prima de dicho número $n$ contiene exponentes no crecientes y contiene todos los primos hasta el mayor factor primo de $n$ .
También se afirma que por cada $n>36$ el último exponente es siempre $1$ En otras palabras, si $p$ es el mayor factor primo de un número altamente compuesto $n>36$ entonces $p^2$ no divide $n$ .
¿Cómo puedo demostrarlo?
El mayor número altamente compuesto no divisible por $9$ parece ser $$1680=2^4\cdot 3\cdot 5\cdot 7$$
¿Es esto cierto, y cómo puedo probarlo?
Finalmente
Dada la secuencia de los exponentes, ¿existe un método eficiente para determinar si la secuencia corresponde a un número altamente compuesto?
Es evidente que basta con probar los números correspondientes a una secuencia no creciente y que la longitud está acotada por el menor primor que supere el número dado $n$ . Pero para los grandes $n$ En este caso, hay que comprobar muchas secuencias de este tipo.
Sólo por curiosidad: ¿Cuál es el mayor número altamente compuesto conocido?