다음 성질을 만족하는 자연수 $n$이 존재하는지를 판정하여라.

$n$이 정확히 2000개의 서로 다른 소수로 나누어지고, $n$이 $2^n+1$을 나눈다.