分析：如果两个数的最大公约数是一个质数p，那么这两个数都除以p，得到的两个数的最大公约数一定是1.

反证法：如果得到的两个数的最大公约数不是1，那么把此时的最大公约数乘以上边的最大公约数，得到的一定比上述的最大公约数大，那么上述的最大公约数就不是最大那两个数的最大公约数，所以结论错误。即得到的两个数的最大公约数一定是1.

由于发现两个数都除以p之后，得到的数的最大公约数是1，那么我们可以想到欧拉函数，此时就可以先处理欧拉函数和欧拉函数的前缀和，然后枚举1~n的所有质数，每次求1~n/p（下取整）中与n/p（下取整）互质的个数，由于（1，2），（2，1）属于两个那么还需要乘以2，（1，1）（1，1）属于1个，最后还得减去1.

#include<bits/stdc++.h>using namespace std;const int N = 1e7 + 10;int hpi[N];
int primes[N],cnt;
bool st[N];
int n;
long long s[N];void init()
{hpi[1]=1;for(int i=2;i<=n;i++){if(!st[i]) {primes[cnt++]=i;hpi[i]=i-1;}for(int j=0;primes[j]<=n/i;j++){st[primes[j]*i]=true;if(i%primes[j]==0){hpi[primes[j]*i]=primes[j]*hpi[i];break;}hpi[i*primes[j]]=hpi[i]*(primes[j]-1);}}for(int i=1;i<=n;i++) s[i]=s[i-1]+hpi[i];
}
int main()
{cin>>n;init();long long res=0;for(int i=0;i<cnt;i++){int p=primes[i];res+=(2*s[n/p]-1);}cout<<res<<endl;return 0;
}