Highly totient number

{{Short description|Integer that occurs often as a totient}}

A highly totient number $k$ is an integer that has more solutions to the equation $\backslash phi(x)\; =\; k$, where $\backslash phi$ is Euler's totient function, than any integer smaller than it. The first few highly totient numbers are

1, 2, 4, 8, 12, 24, 48, 72, 144, 240, 432, 480, 576, 720, 1152, 1440 {{OEIS|id=A097942}}, with 2, 3, 4, 5, 6, 10, 11, 17, 21, 31, 34, 37, 38, 49, 54, and 72 {{OEIS|id=A131934}} totient solutions respectively. The sequence of highly totient numbers is a subset of the sequence of smallest number $k$ with exactly $n$ solutions to $\backslash phi(x)\; =\; k$.{{Cite OEIS|1=A097942|2=Highly totient numbers: each number k on this list has more solutions to the equation phi(x) = k than any preceding k (where phi is Euler's totient function, A000010)}}

The totient of a number $x$, with prime factorization $x=\backslash prod\_i\; p\_i^\{e\_i\}$, is the product:

:$\backslash phi(x)=\backslash prod\_i\; (p\_i-1)p\_i^\{e\_i-1\}.$

Thus, a highly totient number is a number that has more ways of being expressed as a product of this form than does any smaller number.

The concept is somewhat analogous to that of highly composite numbers, and in the same way that 1 is the only odd highly composite number, it is also the only odd highly totient number (indeed, the only odd number to not be a nontotient). And just as there are infinitely many highly composite numbers, there are also infinitely many highly totient numbers, though the highly totient numbers get tougher to find the higher one goes, since calculating the totient function involves factorization into primes, something that becomes extremely difficult as the numbers get larger.