noncomputable def primeGap (n : ℕ) : ℕ

The prime gap: the difference between the $n+1$-th and $n$-th prime.

Equations

• primeGap n = Nat.nth Nat.Prime (n + 1) - Nat.nth Nat.Prime n