#include <stdio.h>
int main()
{
long int n,i=0,s=0;
scanf("%d",&n);
for(;i<=n;i++)
    s+=i;
printf("%ld",s);
return 0;
}