#include    <stdio.h>
#define MAX 1000002
FILE * in = fopen("fractii.in","r");
FILE * out = fopen("fractii.out","w");
int main()
{
    int n, i, j;
    int y = 0;
    int a[MAX];
    fscanf(in,"%d",&n);
    for(i=2; i <= n; i++)
    {
        a[i] += i-1;
        for(j=2*i; j<= n; j += i)
        {
            a[j] -= a[i];
        }
        y += a[i];
    }
    fprintf(out,"%d",2*y+1);
    return 0;
}