The conjecture that iterated divisor-preimage minima are highly composite
Highly composite minima conjecture. All the integers nkn_knk​ produced by Theorem 1 are highly composite numbers.