ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F12259 on R5115: Natural number factorial is an even number for numbers 2 or greater

F12259

Formulation 0

Let $N \in \{ 2, 3, 4, \ldots \}$ be a D5094: Positive integer.

Then $N !$ is an D5: Even integer.