So for n=12: 12=2*2*3, 2^2*3^1*5^1=60 (with divisors 1,2,3,4,5,6,10,12,15,20,30,60). for n=15: 15=3*5, 2^4*3^2=144. Am I right?
Those both follow the guess I made; to be sure that these are the smallest possible numbers, we have to compare with other possibilities.
For n=12, we could factor that as 12, 6*2, 4*3, or 3*2*2; resulting numbers are 2^11 =
2048, 2^5*3^1 =
96, 2^3*3^2 =
72, and 2^2*3^1*5^1 =
60. Clearly 60 is the smallest.
For n=15, we could factor it as 15 or 5*3, resulting in 2^14 =
16384 and 2^4*3^2 =
144, and again 144 is the smallest.
So you're right; the next thing to do is to look for a proof that this pattern will
always lead to the smallest possible number. Or, you could think about what it might take to find a
counterexample, where some other number in our list will be smaller.
So I would first just try a few more small numbers, perhaps with higher powers involved. Let's try 8, a cube:
For n=8, we can factor it as 8, 4*2, or 2*2*2, resulting in 2^7 =
128, 2^3*3^1 =
24, and 2^1*3^1*5^1 =
30. I would call this a counterexample, since this time the smallest number doesn't come from a product of separate primes. (And in fact, that fits what I was expecting, though it came sooner than I thought: Since primes spread out as you go along, there should come a point where using more primes in the product costs more than using higher exponents.)
So, unless you're satisfied having to try all possibilities, which seems to be the only way to be sure, you would need to propose a different sort of pattern.