#include <stdio.h>
#include <stdlib.h>
#include <math.h>

int main()
{
    FILE* f=fopen("fractii.in","r");
    FILE* g=fopen("fractii.out","w");
    int n,k=0;
    fscanf(f,"%d",&n);
    double fr;
    double v[10000];
    v[k++]=1;
    for(int i=1; i<=n; i++)
    {
        for(int j=1; j<=n; j++)
        {
            int ok=0;
            fr=(double)j/i;
            for(int p=0; p<=k; p++)
                if(v[p]==fr)
                    ok=1;
            if(ok==0)
            {
                v[k++]=fr;
                //printf("%d/%d\n",j,i);
            }
        }
    }
    fprintf(g,"%d",k);
}