#include <bits/stdc++.h>

using namespace std;

int main(int argc, char **argv) {
	int a=0;
	int total =0;
	scanf("%d", &a);

	for(int i=1;i<=a;i++)
	{
		total += i;
	} 
	printf("%d\n", total);
	return 0;
}