MathNet 2025-part-01 — 187 problems (EN–VI) Question 163

Determine all natural numbers $n$ for which all prime factors of $2^n - 1$ are at most 7.