Highly composite minima conjecture. All the integers nkn_knk produced by Theorem 1 are highly composite numbers.