Smallest Numbers with 240 Divisors

Theorem
The smallest integers with $240$ divisors are:
 * $720 \, 720, 831 \, 600, 942 \, 480, 982 \, 800, 997 \, 920, \ldots$

Proof
Let $\map \tau n$ denote the $\tau$ (tau) function of $n$:
 * $\map \tau n$ is the number of divisors of $n$.

Then: