Este es el primer ejercicio de teoría elemental de los números de Sierpinski. Da una prueba usando inducción y me preguntaba si este enfoque era correcto así:
$a!b!|(a+b)! \iff \exists c \in \mathbb{N} \text{ such that } (a+b)! = c(a!b!)$
Suponiendo sin pérdida de generalidad que $a \leq b$:
$a!b! = \displaystyle\prod\limits_{n=1}^a n^2 \displaystyle\prod\limits_{n=a+1}^b n$
Entonces definimos el conjunto S:
$S = \{n \in \mathbb{N} :n < a^2 \wedge \not \exists m \in \mathbb{N}\text{ such that }m^2=n) \} $
Si $c = \displaystyle\prod\limits_{n \in D}n \displaystyle\prod\limits_{n=b+1}^{a+b}n$,
entonces $(a+b)! = c(a!b!)$