Consider the set of all natural numbers $n$ for which the following proposition is true.
$\sum_{k=1}^{n} k = \prod_{k=1}^{n} k$
Here's an example:
$\sum_{k=1}^{3}k = 1+2+3 = 6 = 1\cdot 2\cdot 3=\prod_{k=1}^{3}k$
Therefore, $3$ is in this set.
Does this set include more than just $3$? If so, is this set finite or infinite? Furthermore, can this set be described by a rule or formula?
[Just a tidbit: This question indicates the triangular number $1+2+3+\cdots+n$ is called the termial of $n$ and is denoted $n?$. I'm all for it; let's see if it catches on.]
[Another tidbit: the factorial of $n$, written $n!$ and called "$n$-factorial," is abbreviated "$n$-bang" in spoken word.]