I'd like to add that the argument of minimality is nice but it works because you fixed $n$ expressedly.
If we only search for sets of unspecified number of elements whose sum and product are $T_n$ and $n!$ then $\{1,2,..,n\}$ is not necessarily the only solution, what would happen if we could replace two, three or more elements by a single one ?
The question becomes is it possible to have $a+b=ab$ for any two distinct integers ?
$a+b=ab\iff a=ab-b=a(b-1)$ if $a=0$ then $b=0$ and if $a\neq 0$ then $(b-1)=a/a=1$ so $b=2$ and $a+2=2a\iff a=2$
The only couples are $(0,0)$ and $(2,2)$ but they are not distinct, so we are safe.
But this is not over, what about $a+b+c=abc$ ? $\to$ Find all integral solutions to $a+b+c=abc$.
This time, there is a solution in positive integers which is $(1,2,3)$
So $\{1,2,3,4,5\}$ and $\{4,5,6\}$ would have same sum and product, but of course only the first one has $5$ elements.
And it get worse with more elements, because not only we would have to look at $a+b+c+d=abcd$ but also to grouping of these numbers two by two, and so on.