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