#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int main()
{
    FILE *in,*out;
    in=fopen("fractii.in","r");
    out=fopen("fractii.out","w");
    int n,i,j,k,l=0;
    double v[10000002];
    for(i=0;i<10000002;i++)
        v[i]=0;
    fscanf(in,"%d",&n);
    fclose(in);
    for(i=1;i<=n;i++)
    {
        for(j=1;j<=n;j++)
        {
            v[l]=(double)i/(double)j;
            l++;
        }
    }
    for(i=1;i<l+1;i++)
        for(j=i+1;j<l+1;j++)
            if(v[i]==v[j])
                v[j]=-1;
    j=-1;
    for(i=1;i<l+1;i++)
        if(v[i]!=-1)
            j++;
    fprintf(out,"%d",j);
    fclose(out);
    return 0;
}