Olympic Toán học Quốc tế IMO 2000 — Đề chính thức Câu hỏi 5

Có tồn tại số nguyên dương $n$ sao cho $n$ có chính xác 2000 ước số nguyên tố riêng biệt và $n$ là ước của $2^n + 1$ không?