//#include<stdio.h>
//
//int main()
//
//{
// printf("\u250C\u252C\u2510\n\u251C\u253C\u2524\n\u2514\u2534\u2518");
//}
//
//
//#include<stdio.h>
//
//int main()
//
//{
// char a;
// scanf("%c", &a);
// printf("%c", a);
//
// return 0;
//}
//#include<stdio.h>
//
//int main()
//{
// int a, b;
//
// scanf("%d %d", &a, &b);
//
// printf("%d %d", a, b);
//
// return 0;
//}
//#include<stdio.h>
//
//int main()
//
//{
// float a;
//
// scanf("%f", &a);
//
// printf("%.2f", a);
//
// return 0;
//}
//
//#include<stdio.h>
//
//int main()
//{
// int a, b;
// scanf("%d:%d", &a, &b);
//
// printf("%d:%d", a, b);
//
// return 0;
//
//}
//#include<stdio.h>
//
//int main()
//{
// int a, b;
//
// scanf("%d-%d", &a, &b);
//
// printf("%06d%d",a, b);
//
// return 0;
//}
//#include<stdio.h>
//
//int main()
//{
// char data[51]= {};
//
// scanf("%s", data);
//
// printf("%s", data);
//
// return 0;
//}
//#include<stdio.h>
//
//int main()
//{
// char arr[2000] = {};
//
// fgets(arr, 2000, stdin);
//
// printf("%s", arr);
//
// return 0;
//}
//#include<stdio.h>
//
//int main()
//
//{
// int a, b;
//
// scanf("%d.%d", &a, &b);
//
// printf("%d\n%d", a, b);
//
// return 0;
//}
//#include<stdio.h>
//
//int main()
//
//{
// int a, b, c, i, d;
//
// scanf("%1d%1d%1d%1d%1d", &a,&b,&c,&i,&d);
//
// printf("[%d]\n[%d]\n[%d]\n[%d]\n[%d]", a*10000, b*1000, c*100, i*10, d);
//}
//#include <stdio.h>
//
//long long int n;
//int a;
//int sqrt(int n)
//{
// int i, a;
// a = n ;
// for(i=1; i<=n; i++)
// {
// if(n = n)
// a= a/2;
//
// if(a*a==n)
// {
// break;
// }
// else if(n <a*a)
// {
// if((a/2)*(a/2) == n)
// return a/2;
// else if(a*a > (a/2)*(a/2))
// {
// break;
// }
// }
// }
// return a;
//}
//
//
//int main()
//{
// scanf("%lld", &n);
// printf("%d\n", sqrt(n));
// return 0;
//
//}
//#include <stdio.h>
//
//long long int n;
//
//int sqrt(long long int n)
//{
// int k=1;
// for(k=1; ;k++) {
// if(n<(long long int)k*k)
// {
// return k-1;
// }
// }
//}
//int main()
//{
// scanf("%lld", &n);
// printf("%d\n", sqrt(n));
// return 0;
//}
//#include <stdio.h>
//
//int n, a, b, d[1010];
//
// int maxi(int a, int b)
// {
// int i, k = d[a], c=a;
//
// for(i=a; i<=b; i++)
// {
// if(k<d[i])
// {
// k = d[i];
//
// c = i;
// }
// }
// return c;
// }
//int main()
//{
// scanf("%d", &n);
//
// for(int i=1; i<=n; i++)
// scanf("%d", &d[i]);
//
// scanf("%d%d", &a, &b);
//
// printf("%d\n", maxi(a, b));
//}
#include <stdio.h>
int n;
long long int f(int n)
{
long long int sum = 0;
int i;
for(i=1;i<=n;i++)
{
sum += i;
}
return sum;
}
int main()
{
scanf("%d", &n);
printf("%lld\n", f(n));
}