#include<stdio.h>

int main()
{
    int k=0,Pay=0,j=0,sum=0,tmp=0;
    scanf("%d",&k);
    for(int i =1;i<=k;i++)
    {
        if(i==tmp+j||i==1)
        {
            tmp=i;
            Pay++;
            j++;
        }
         sum+=Pay;
    }
    printf("%d\n",sum);
    return 0;
}