Me gustaría añadir que el argumento de la minimidad es bonito pero funciona porque has arreglado $n$ expresamente.
Si sólo buscamos conjuntos de número indeterminado de elementos cuya suma y producto sean $T_n$ y $n!$ entonces $\{1,2,..,n\}$ no es necesariamente la única solución, ¿qué pasaría si pudiéramos sustituir dos, tres o más elementos por uno solo?
La pregunta es si es posible tener $a+b=ab$ para dos enteros distintos ?
$a+b=ab\iff a=ab-b=a(b-1)$ si $a=0$ entonces $b=0$ y si $a\neq 0$ entonces $(b-1)=a/a=1$ así que $b=2$ y $a+2=2a\iff a=2$
Las únicas parejas son $(0,0)$ y $(2,2)$ pero no son distintos, así que estamos a salvo.
Pero esto no ha terminado, ¿qué pasa con $a+b+c=abc$ ? $\to$ Encontrar todas las soluciones integrales de $a+b+c=abc$ .
Esta vez, hay una solución en enteros positivos que es $(1,2,3)$
Así que $\{1,2,3,4,5\}$ y $\{4,5,6\}$ tendrían la misma suma y el mismo producto, pero por supuesto sólo el primero tiene $5$ elementos.
Y la cosa empeora con más elementos, porque no sólo tendríamos que mirar $a+b+c+d=abcd$ sino también a la agrupación de estos números de dos en dos, y así sucesivamente.