{
int coin=1,day,sum=0,k,n=0;
scanf("%d",&k);
for(day=1;day<=coin;day++)
{
sum+=coin;
n++;
if(coin==day)
{
coin++;
day=0;
}
if(n==k)
break;
}
printf("%d",sum);
return 0;
}