Smallest Number with 2^n Divisors

Theorem
The smallest positive integer with $2^n$ divisors is found by multiplying together the first $n$ numbers in this sequence:


 * $2, 3, 4, 5, 7, 9, 11, 13, 16, 17, 19, \ldots$

which consists of all the primes and powers of primes.