#include <stdio.h>

char fi[1000000];

int main() {
    int N, i, j, count = 0;
    FILE* in = fopen("fractii.in", "r");
    FILE* out = fopen("fractii.out", "w");
    fscanf(in, "%d", &N);

    for (i = 1; i <= N; i++) {
        fi[i] = i - 1;
    }
    for (i = 2; i <= N; i++) {
        for(j = 2 * i; j <= N; j += i) {
            fi[j] -= fi[i];
        }
    }
    for (i = 2; i <= N; i++) {
        count += 2 * fi[i];
    }

    fprintf(out, "%d", count + 1);

    return 0;
}