Challenge 4: There are infinitely many prime numbers
Prove that there are infinitely many prime numbers.
To do so, complete the following Lean 4 theory:
import Mathlib.Tactic import Mathlib.Data.Nat.Prime.Defs open Nat example (n : ℕ) : ∃ p, n ≤ p ∧ Nat.Prime p := by sorry