/*
#include <stdio.h>
#include <stdlib.h>
int main()
{
printf("Hello world!\n");
return 0;
}
*/
/*
#include <stdio.h>
int main()
{
int a, b, i;
scanf("%d %d", &a, &b);
if (b>a)
{
for(i=a; i<=b; i+=1)
{
printf("%d ", i);
}
}
else
{
for(i=b; i<=a; i+=1)
{
printf("%d ", i);
}
}
return 0;
}
*/
/*
#include <stdio.h>
int main()
{
char a, b, i;
scanf("%c %c", &a, &b);
for(i=a; i<=b; i+=1)
{
printf("%c ", i);
}
return 0;
}
*/
/*
#include <stdio.h>
int main()
{
double a, b, i;
scanf("%lf %lf", &a, &b);
for(i=a; i<=b; i+=0.01)
{
printf("%.2lf ", i);
}
return 0;
}
*/
/*
#include <stdio.h>
int main()
{
int a, b, i;
scanf("%d %d", &a, &b);
for(i=a; i<=b; i+=1)
{
if(i%2!=0)
{
printf("%d ", i);
}
}
return 0;
}
*/
#include <stdio.h>
int main()
{
int a, b=0, i;
scanf("%d", &a);
for(i=0; i<=a; i++)
{
b=b+i;
}
printf("%d", b);
return 0;
}