是否存在一个正整数n, 满足n能被2000个不同质数整除, 并且2^n+1能被n整除