A número altamente compuesto es un número natural n≥1 , de tal manera que t(m)<t(n) para todos m con 1≤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 p2 no divide n .
¿Cómo puedo demostrarlo?
El mayor número altamente compuesto no divisible por 9 parece ser 1680=24⋅3⋅5⋅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?