#include <stdio.h>

int main(){

    float a, v[1000];
    FILE *in=fopen("fractii.in", "r");
    
    int k=0, poz=0;
    fscanf(in, "%f", &a);
    fclose(in);

    for(float i=1; i<a;i++){
        for(float j=1; j<a;j++){
             v[poz]=i/j;
             poz++;
        }

    }

    for(int i=0;i<=poz-1;i++)
        if(v[i]!=v[i+1])
            k++;

    FILE *out=fopen("fractii.out", "w");
 
    fprintf(out, "%d", k );
    fclose(out);
    return 0;
}