Infinitude of Primes, and Related Questions - Expii

We prove there are infinitely many primes. Extension questions get quickly difficult (Green–Tao theorem, twin prime conjecture, etc.).