Formulation 试证明 $$ \forall{k \geq 0, k \in \mathbb{Z}}, \exists{p \in \mathbb{Z}}, \Pi_{i=1}^{n} (k+i) = p n! $$ 恒成立. Instances 为了理解这个命题所表达的意思，我们不妨分别给$n$取固定的值，看当$n$给定的时候，命题陈述的内容是什么，现当$n=1$，那么就是……