Problem

Source: 2023 KMO Final Round Day 2 Problem 4

Tags: number theory, easy, FKMO



Find all positive integers $n$ satisfying the following. $$2^n-1 \text{ doesn't have a prime factor larger than } 7$$