#include <stdio.h>

int main()
{
	int n = 0;
	int cnt = 0;
	scanf("%d", &n);

	for (int i = 1;i <= n;i++)
	{
		cnt += i;
	}

	printf("%d", cnt);

	return 0;
}