Prime Values of Double Factorial plus 1

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $n!!$ denote the double factorial function.

The sequence of positive integers $n$ such that $n!! + 1$ is prime begins:

$0, 1, 2, 518, 33 \, 416, 37 \, 310, 52 \, 608, 123 \, 998, 220 \, 502, \ldots$

This sequence is A080778 in the On-Line Encyclopedia of Integer Sequences (N. J. A. Sloane (Ed.), 2008).


Proof

We have that:

\(\ds 0!! + 1\) \(=\) \(\ds 1 + 1\) Definition of Double Factorial
\(\ds \) \(=\) \(\ds 2\) which is prime


\(\ds 1!! + 1\) \(=\) \(\ds 1 + 1\) Definition of Double Factorial
\(\ds \) \(=\) \(\ds 2\) which is prime


\(\ds 2!! + 1\) \(=\) \(\ds 2 \times 0!! + 1\) Definition of Double Factorial
\(\ds \) \(=\) \(\ds 2 \times 1 + 1\) Definition of Double Factorial
\(\ds \) \(=\) \(\ds 3\) which is prime




Sources