Proof that $n \in \mathbb{N}$ by combinatorial analogue? (Disclaimer: I'm a high school student, and my highest knowledge of mathematics is some elementary calculus. This may not be the correct terminology.)
A while ago, I saw the following problem: prove, for natural numbers $a$, $b$, $c$, $d$ with $a \geq b + c + d$ that $\frac{a!}{b!c!d!}$ is a natural number.
I had a neat idea about this when I realized that the expression $\frac{a!}{b!c!d!}$ actually gives the answer to a combinatorial problem. Namely, it is the number of unique permutations of $a$ objects when $b$ are of one type (indistinguishable from each other), $c$ are of another type, and $d$ are of another type. Obviously, one cannot have a non-natural number of permutations, so this must always be a natural number.
Is this a valid method of proof? Can one establish that an expression is always a natural number by assigning to it a combinatorial meaning?
 A: Yes: you’ve discovered one form of combinatorial proof, an elegant and often very informative kind of proof that is very frequently used in combinatorics. However, your argument needs a little bit of repair. Let $e=a-(b+c+d)$; then the multinomial coefficient
$$\binom{a}{b,c,d,e}=\frac{a!}{b!\,c!\,d!\,e!}$$
is the number of distinguishable permutations of $a$ objects consisting of $b$ indistinguishable objects of one type, $c$ indistinguishable objects of another type, $d$ indistinguishable objects of a third type, and $e$ indistinguishable objects of a fourth type. This is clearly a non-negative integer, since it counts a discrete collection of entities, and 
$$\frac{a!}{b!\,c!\,d!}=\binom{a}{b,c,d,e}\cdot e!$$
is therefore also a non-negative integer.
Alternatively, you could take the $e$ remaining elements to be distinguishable from one another and from the other three types, in which case $\frac{a!}{b!\,c!\,d!}$ is indeed the number of distinguishable permutations of the $a$ objects, and you don’t need the intermediate step. If this is what you had in mind, the only repair needed is to make this a bit clearer!
A: Yes, this is a perfectly valid way of showing that the value of an expression is always a natural number. By the way, this is an argument for having $0\in\Bbb N$ (a point that unfortunately still raises controversy), because showing that a number counts the elements of a finite set does not involve showing the set is non-empty. I would even consider this the most natural approach to showing an expression takes natural number values, although it does not of course work in all cases.
The most down to earth approach is showing separately that an expression always takes integer values (in the case at hand you could do this by counting prime factors in numerator and denominator) and that it cannot take negative values. Depending on the situation this can be straightforward, tedious, or virtually impossible. There are famous results and conjectures about certain types of expression always taking natural number values where neither of these methods seem to work. Cases are known where a proof of this property was found by performing a (highly abstract) construction and showing that it defines a vector space whose dimension is given by the expression without having constructed a set with that number of elements!
A: You can notice that $\mathfrak{S}_b \times \mathfrak{S}_c \times \mathfrak{S}_d$ is a subgroup of $\mathfrak{S}_a$ if $a \geq b+c+d$, dividing the set $\{1,\dots,a\}$ into three subsets of length $b$, $c$ and $d$.
