写程序验证费马素数猜想是否正确

法国数学家费马于1640年提出了如下猜想：假设一个映射关系F(n)=2^(2^n)+1 那么F(n)都是素数，F(0)=3 F(1)=5 F(2)=17…以此类推

#include <iostream>
#include<cmath>
int x=0;
using namespace std;
void test(long long int n)
{
  for (long long int i = 2; i <= sqrt(n); i++) {
        if (n % i == 0) {
            cout << n << " 不是素数,费马素数猜想错误" << endl;
                    x=1;
        }

    }
    if(x!=1)
          cout << n << "是素数，费马素数猜想正确" << endl;

}
int main()
{
          long long int F=1,n,k1=1,k2=1,i;
          cout<<"请输入一个正整数"<<endl;
          cin>>n;
          for(i=0;i<n;i++)
                    k1=k1*2;
          for(i=0;i<k1;i++)
                    k2=k2*2;
          F=k2+1;
          cout<<"此时F（n）="<<F<<endl;
                              test(F);
          if(x!=1)
          return main();
}