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 Tn 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⟺a=ab−b=a(b−1) si a=0 entonces b=0 y si a≠0 entonces (b−1)=a/a=1 así que b=2 y a+2=2a⟺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 ? → 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.