3より大きな正整数nに対し、2^n+1の素因数がどれもn未満であるようなものは存在するか?