Número altamente poderoso

En teoría de números, un número altamente poderoso (o también número muy poderoso) es un número entero positivo que satisface una propiedad introducida por el matemático indocanadiense Mathukumalli V. Subbarao. El conjunto de números altamente poderosos es un subconjunto propio del conjunto de los números poderosos.

Sea prodex(1) = 1, y sea $n$ un entero positivo, tal que

$n=\prod _{i=1}^k{p}_i^{e_{p_i}(n)}$

donde $p_1,\dots ,p_k$ son $k$ números primos distintos en orden creciente y $e_{p_i}(n)$ es un entero positivo para $i=1,\dots ,k$. Entonces, se define

$\mathrm{prodex}(n)=\prod _{i=1}^k{e}_{p_i}(n)$. Plantilla:OEIS

El entero positivo $n$ se define como un número altamente poderoso si y solo si, para cada entero positivo $m,1\le m<n$ implica que $\mathrm{prodex}(m)<\mathrm{prodex}(n).$

Los primeros 25 números altamente poderosos son: 1, 4, 8, 16, 32, 64, 128, 144, 216, 288, 432, 864, 1296, 1728, 2592, 3456, 5184, 7776, 10368, 15552, 20736, 31104, 41472, 62208, 86400. Plantilla:OEIS